AI 理想目标：把丑陋证明变成天书级优雅论证
docmilanfar · x · 2026-07-26
米兰法尔提到，埃尔德什把最优雅的证明称为“来自天书（from The Book）”——仿佛只有神一样的存在才能写出那种论证。
他认为，AI 在数学中的理想，不只是把题做对，而是把原本丑陋、繁琐的证明，变成真正“来自天书”的优雅证明。
「漫话AGI」频道最新
- 陶哲轩谈数学与 AI，还特地说明破折号是人写的 — juliusadml · 2026-07-26
- 开源模型终将无处不在，政策恐吓也拦不住 — GabGarrett · 2026-07-26
- 数学并不是阻止普通人用 AI 的清晰边界 — RexDouglass · 2026-07-26
- 职场体面感开始由公司买什么模型决定 — rickasaurus · 2026-07-26
- AI safety 圈争论：在业界工作还担心风险是否自洽 — max_paperclips · 2026-07-26
- 1171 个岗位拼出 OpenAI 和 Anthropic 的 AGI 路线图 — imjustnewatai · 2026-07-26