Terence Tao 评价 AI 参与的数学新突破：方法有望延伸至 Navier-Stokes
Hesamation · x · 2026-09-08
数学家陶哲轩（Terence Tao）就 Alpöge 和 Buckmaster 的最新数学突破发表评论：
- 称其为「a remarkable achievement」（一项了不起的成就）
- 指出论证包含大量 AI 输入，作者们过去几周一直努力把 AI 产出的论证改写为可接受的形式
- 由于外部事件，他们不得不比原计划提前发布
- 认为从原理上看，没有东西能阻止该方法一路延伸到 Navier-Stokes 问题
- 表示如果能投入大量算力和 AI 辅助，「敲打出」这样的扩展他也不会惊讶，但这种练习他不特别感兴趣
这是顶级数学家对 AI 深度介入前沿数学研究的罕见直接评价，暗示「堆算力 + AI 辅助」冲击千禧年难题的可能性。
所属事件:陶哲轩评流体方程爆破新突破，AI 辅助并已 Lean 形式化(9 条相关)→
「漫话AGI」频道最新
- 研究发现：前沿 LLM 常为私利单方面撕毁 AI 合同 — xuanalogue · 2026-10-26
- 133 位专利律师实验：同样用 AI，老手被增强、新人陷入认知卸载 — xiaohu · 2026-10-26
- OpenAI 计算机使用 agent 团队：速度已逼近超越人类专家 — a16z · 2026-10-26
- 李开复新书《AI Native》上市：论企业如何成为 AI 原生公司 — kaifulee · 2026-10-26
- MLST 长片对话：从 Kepler 猜想到 AlphaProof，数学证明如何被机器验证 — Machine Learning Street Talk · 2026-10-26
- Nature 试验：ChatGPT 让咨询顾问短期提分，但技能提升是暂时的 — EricTopol · 2026-10-26