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 形式化(6 条相关)→
「漫话AGI」频道最新
- 网友称判断 AGI 不该听黄仁勋和 Brockman:没有持续学习就不是 AGI — StewartalsopIII · 2026-09-08
- Noam Brown 连发推暗示重大进展将至,社区猜测纷纷 — socoolandawesome · 2026-09-08
- 数学家吐槽：AI 圈把解题变成无意义的奖杯狩猎 — tak3sh8 · 2026-09-08
- OpenAI 称安全成主要瓶颈,作者警告 RSI 竞赛将挤压安全投入 — Over-Landscape-5892 · 2026-09-08
- 数学家观点:AI 时代论文应从证明转向分享洞见 — tak3sh8 · 2026-09-08
- Apex 推出自动化 AI 研究系统 Astra:让 AI 改进 AI — thetripathi58 · 2026-09-08