数学「考古」：Calegari 追溯 AI 证明 ζ(5) 无理性的思想源头
ctjlewis · x · 2026-09-26
针对 Astra/AI 辅助的 ζ(5) 无理性证明，数学家 Calegari 做了一次「数学考古」，尝试厘清证明中的思路来自何处。他特别关注未被 Astra 引用的 Prévist 早期工作，以及与 Zudilin 应用 Hankel 行列式之间更明显的联系。这是近期「AI 证明数学定理」热潮中，主流数学界对证明思想来源的一次严肃梳理。
「研究」频道最新
- 论文提出用 LLM 做「可证明完备」的广义规划新方法 — JFPuget · 2026-09-26
- ICML 2027 程序主席求助：AI slop 投稿爆炸怎么管 — MarkSchmidtUBC · 2026-09-26
- 开源 Jevless：任意带 logprobs 的模型实现 Jev 式结构化决策 — seraphius · 2026-09-26
- 物理博客主披露为 Anthropic 写稿内幕：收费居中水平、拒签 NDA — burny_tech · 2026-09-26
- 论文《Mecha-nudges for Machines》入选 NeurIPS 2026 Spotlight — ethayarajh · 2026-09-26
- AutoScreen 用 AI 智能体重排 CRISPR 结果,湿实验证实癌细胞免疫逃逸基因 — KexinHuang5 · 2026-09-26