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 系统性解决开放难题」这一新常态的调适与反思。
「漫话AGI」频道最新
- 「用 AI 写作像用 Ozempic 减肥」：一句类比引发行业共鸣 — vishalmisra · 2026-09-14
- 前 DeepMind 研究员 Alex Turner 辞职发声:必须阻止 AI 自我改进失控 — Turn_Trout · 2026-09-14
- 《The AI Doc》纪录片 9 月 15 日登陆 Netflix,采访 40+ 位 AI 专家 — aza · 2026-09-14
- WSJ 报道引热议:AI 烧数百万美元算力数天解数学题被指营销 — RaccoonMinimum172 · 2026-09-14
- 理论计算机科学家：AI 带来的是探索新领域之乐而非失业之忧 — Aaroth · 2026-09-14
- 反常识：工业化让种地更集中高效，也让人更亲近自然 — Afinetheorem · 2026-09-14