专题 · FULL STORY
OpenAI 数理成果：从争议到数学界反击
OpenAI 宣布数百项数理突破并宣称接近解决 Navier-Stokes 问题，随后其解被指钻千禧年大奖规则漏洞，陶哲轩更批评这种 AI 做数学的方式如「露天开采」，令整个领域陷入混乱，争议持续发酵。
2026-10-30 ~ 2026-11-01 · 3 集 · 10 条
第 1 集 · OpenAI 纳维-斯托克斯解被指钻千禧年大奖规则漏洞(2026-10-30,2 条)
OpenAI 宣称解决 Navier-Stokes 问题的成果遭到多位研究者质疑。Gary Marcus 转发的深度分析指出，该解利用了 Clay 数学研究所规则中的巨大漏洞，虽形式上符合要求，但被认为脱离真实物理、毫无物理意义，属于 specification gaming（规格作弊）。争议焦点在于这一结果是否真正回应了千禧年大奖问题的本意。
- 物理学者质疑 OpenAI Navier-Stokes 解：脱离真实物理、毫无物理意义 — GaryMarcus · 2026-10-30
- OpenAI 纳维-斯托克斯解被质疑钻了千禧年大奖的空子 — dhadfieldmenell · 2026-10-31
第 2 集 · OpenAI 一次发布 722 项数理突破引热议(2026-10-31,4 条)
OpenAI 一次性发布约 700 余项数理成果（一说 722 项），有数学家感叹「一天顶三十年」。2025 年 7 月 AI 在有已知答案的奥赛题上达到金牌水平后，战场已转向真正的开放难题，AI 驱动的突破正以批为单位出现。但也有数学家批评称，AI 无法解释证明为何成立，验证工作实际全靠 Lean 形式化引擎完成，OpenAI 抢先邀功且大部分成果经不起检验。博主预测明年此类「炸裂级公告」将不再令人惊讶。
- OpenAI 一次性放出 700 份手稿，数学家惊呼一天顶三十年 — kimmonismus · 2026-10-31
- AI 做数学的真相：Lean 形式化验证才是主角，AI 只是盲件 — gerardsans · 2026-10-31
- 数学家批评 OpenAI:AI 证明靠 Lean 验证却抢先邀功,大部分经不起检验 — gerardsans · 2026-10-31
- OpenAI 单次发布 722 项数理突破，博主预测「炸裂级公告将无人惊讶」 — Dr_Singularity · 2026-11-01
第 3 集 · 陶哲轩批AI解数学如「露天开采」：Navier-Stokes 领域陷入混乱(2026-11-01,4 条)
数学家陶哲轩在 New Scientist 访谈中批评 AI 做数学的方式「不负责任」，将其比作「自动化露天开采」：拿下答案却毁掉整个领域。他强调问题不在证明正确与否，而在解题方式对数学社区的伤害。以 Navier-Stokes 方程为例，围绕它的 AI 求解活动一度火热，如今整个领域「陷入混乱」，尽管最终大家会理清头绪。访谈完整视频已发布于 New Scientist 的 YouTube 频道。
- 陶哲轩批评 AI 解数学是「滥采」：Navier-Stokes 研究因此陷入混乱 — rohanpaul_ai · 2026-11-01
- 陶哲轩访谈完整视频：谈 AI 做数学的「不负责任方式」 — rohanpaul_ai · 2026-11-01
- 陶哲轩批评 AI 解题是「露天开采」：目标达成却伤害了数学领域 — rohanpaul_ai · 2026-11-01
- 陶哲轩批评AI数学证明是「自动化露天开采」:拿下答案却毁掉领域 — rohanpaul_ai · 2026-11-01