陶哲轩评 OpenAI 数学成果:证明只需几小时,理解仍需数年
xiaosun86 · x · 2026-10-08
Terence Tao 就 OpenAI 近期数学成果发表了精彩评论,以怀尔斯证明费马大定理作类比:
- 1993 年怀尔斯宣布证明费马大定理,数月后专家逐行审读发现一个错误,又花了一年与 Richard Taylor 一起修补。
- 「证明之所以成为证明,是因为人们必须逐行阅读它」——当年的讲座和研讨会本身就是使它为真的过程的一部分。
- 而今「一个证明只需几小时就能生成,但理解它仍需数年」,且那些付出理解成本的专家从未主动要求这些结果。
这番话点出了 AI 生成数学证明的核心困境:产出的爆炸式增长与人类验证能力之间的巨大鸿沟。
「漫话AGI」频道最新
- Anil Seth 批判 Tavos 数字人 Griffin：造「假人」是灾难性错误 — mikeflache · 2026-10-09
- 研究者:开源模型风险分析只看能力不看单次攻击成本,会误判 — dhadfieldmenell · 2026-10-09
- tszzl 用巨型动物群灭绝类比回击"AI 会爱人类"的乐观论 — danfaggella · 2026-10-09
- 研究者：AI 泡沫若破，或因人们拒绝制造垃圾的工具 — IanArawjo · 2026-10-09
- LLM 冲击千禧年大奖:7 大难题已攻下 4 个,单个仅用 3 小时算力 — ycombinator · 2026-10-09
- 讽刺预测:人类逐年被踢出审查链,从代码到财务到一切 — danfaggella · 2026-10-09