OpenAI 宣称解决纳维-斯托克斯千年难题，数学家撰文反思 AI 做数学
fortnow · x · 2026-09-14
计算复杂性博客作者 Bill Gasarch 撰文讨论 AI 解数学题的进展。他此前放话“只有 AI 解决千禧年大奖难题才值得写文章”，结果 9 月 8 日 OpenAI 宣布解决了纳维-斯托克斯方程这一 Millennium Prize Problem，9 月 9 日 Lance Fortnow 即撰文报道。
此前 5 月 OpenAI 解决 Erdős Unit Distance 问题时，他曾提出两种未来设想：一是此类成果属罕见巧合（已知数学拼出反例的完美风暴）；二是 AI 让求助变容易，人人都会过早依赖 AI 解题。事后来看：
- 第一种设想被证伪：8 月 OpenAI 又解决了十个公开数学问题；
- 「证明猜想」与「构造反例」的界限可能只是错觉，连 Erdős 距离问题的否定结果也一样有分量。
文章核心是数学界对「AI 系统性解决开放难题」这一新常态的调适与反思。
所属事件:OpenAI 称万级 Agent 88 小时解 Navier-Stokes 难题(11 条相关)→
「漫话AGI」频道最新
- DeepMind 首发智能经济学研究：AGI 冲击经济靠协同而非单模型变强 — Scobleizer · 2026-10-31
- 从 1769 年陶器厂到 AI:一篇长文追问 9-5 工作制会不会消亡 — Konstantine · 2026-10-31
- LifeArchitect 10 月刊:中国拟限制 AI 技术出口,Kimi K3.1 Pro 与 Genie 4 在列 — dralandthompson · 2026-10-31
- 中国公司用「AI 复活」服务安抚失亲者，30 秒音视频即可生成数字分身 — ArtificialOther · 2026-10-31
- AI 时代何为「科学发现」？ICLR 2027 提案 SCOPE 研讨会聚焦争议 — mariyaivasileva · 2026-10-31
- ThursdAI 播客辩论:Opus 7 将至,「跑分变好」还重要吗 — thursdai_pod · 2026-10-31