OpenAI 用 AI 找到 Navier-Stokes 奇点，千禧年难题证明被拆解
eigensteve · x · 2026-09-09
物理学家 Nick McGreivy 撰文解析 OpenAI 用 AI 在 Navier-Stokes 方程上找到奇点、从而「解决」千禧年难题一事：
- 解释为什么即使千禧年问题已被证明，解的存在性与光滑性仍是开放问题；
- 拆解证明的工作原理，称其「出奇地简单」；
- 探讨这一事件对「AI for Science」未来的意义。
原文链接指向其 Substack 文章《How OpenAI found a singularity in Navier-Stokes》。这是 AI 改变数学研究范式的标志性事件，值得深读。
「研究」频道最新
- 研究:国际象棋何时花时间思考,是检测作弊的关键信号 — TZahavy · 2026-09-09
- 表格基础模型登场:别再用 LLM 做特征预测,让它决定何时预测 — helloiamleonie · 2026-09-09
- 组合多种持续学习机制,百任务记忆保留率从1.2%升至34.9% — DanielKhashabi · 2026-09-09
- 数学家控 OpenAI 学术造假，Altman 否认，陶哲轩警告开放科学倒退 — The Decoder · 2026-09-09
- AI 数学突破引发学术界争议,Science 深挖风波始末 — pseudolus · 2026-09-09
- Fleuret：训练的全部理论细节，我们真搞懂了吗？ — francoisfleuret · 2026-09-09