AI 数学证明之争,学者推荐《跨代数学证明》文集
RexDouglass · x · 2026-09-20
针对当前关于数学证明与 AI 的讨论,博主 DiracGhost 推荐了一组短文集《Mathematical Proofs Between Generations》。
- 尤里·马季亚谢维奇《Why Formalize Mathematics? And Why Hilbert 10?》:谈数学形式化与希尔伯特第十问题
- Efim Zelmanov《On proof and progress in mathematics》:一线研究数学家视角下的证明与进步
- Benzmuller《What is a Proof? And What Should it Be?》:探讨证明的本质与应然形态
文章集合为 AI 能否真正做数学证明的争论提供了数学共同体的历史与哲学背景。
「研究」频道最新
- 研究者呼吁论文附录晒训练数据样例，自曝 CVPR24 做法 — gabriberton · 2026-09-20
- 别把 2024 年论文当突破：RLAIF 早已被广泛使用 — burny_tech · 2026-09-20
- 数学家称借助 LLM 证明 Catalan 常数是无理数,百年难题告破 — burny_tech · 2026-09-20
- 大脑仅 20 瓦,类脑计算能否让 AI 摆脱耗电困局? — burny_tech · 2026-09-20
- 四个 LLM 打《毁灭战士》：Jev 击杀 5.63 领跑，实测延迟差 15 倍 — shniydder · 2026-09-20
- Odyssey-3:数十小时示教数据让单一世界模型适配多种机械臂 — ChongZzZhang · 2026-09-20