SuperDataScience播客第1038期：AI数学突破争议与验证瓶颈
本期节目由主持人Jon Krohn深入剖析了近期AI在数学领域取得的令人瞩目且充满争议的成果，重点讨论了OpenAI声称解决千禧年大奖难题之一的Navier-Stokes方程部分变体，以及随后批量发布722篇手稿引发的数学界强烈反应。Krohn指出了三个关键保留意见：仅解决了受迫变体、存在署名争议以及验证过程的不确定性。他总结道，对于AI构建者而言，当生成变得廉价时，验证便成为核心瓶颈。
SuperDataScience播客第1038期聚焦于近期人工智能在数学领域引发的巨大争议。主持人Jon Krohn详细解读了OpenAI声称其约10,000个自主代理在一个未发布的内部模型上运行，成功找到了三维Navier-Stokes方程中的奇点（blow-up singularity）。这一成果涉及克雷数学研究所的七大千禧年大奖难题之一，此前曾被菲尔兹奖得主认为计算机无法触及。据《经济学人》估计，此次计算耗时88小时，产生270万条代理间消息，算力成本约为650万美元，并使用了GPT-6 Astra进行了17小时的Lean形式化验证。
然而，Krohn强调了三个重要的保留意见。首先，OpenAI仅解决了四个官方变体中的两个受迫变体（C和D），而被许多数学家视为问题核心的无外力变体（A和B）仍未解决，且OpenAI并未打算申请百万美元奖金。其次，存在复杂的署名争议，纽约大学的Tristan Buckmaster和Anthropic的Levent Alpöge声称他们也在利用AI研究相关流体方程，OpenAI承认无法完全排除其训练数据中包含了这些数学家的草稿。最后，验证过程并不稳固，OpenAI在10月6日批量发布了722篇手稿后，因符号错误撤回了三篇，并承认约一半的结果未经过全面验证。
节目还探讨了数学界的强烈反弹。25位菲尔兹奖得主联合发表声明，警告AI公司的目标与数学家的目标严重错位，强调解决问题的目的是获得人类理解，而非仅仅得到答案。超过8,000名研究人员支持了这一声明。尽管有批评声音，也有如Kennesaw State University的Ying Shieh等学者将这些手稿视为提取新引理和证明技术的宝库。Krohn最终指出，对于任何使用AI构建系统的人来说，核心教训是：当模型能在几小时内生成数百个看似合理的证明或数千行代码时，生成不再是瓶颈，验证才是。只有那些配有机器可检查证据（如Lean证明）和人类深入理解的结果，才能经受住时间的考验。