一间堆满草稿纸的办公室，深夜。数学家把一杯咖啡搁在一沓刚打印的论文上，封面上印着 165 页。他翻了三页，停住，给同事发了一行字："你看过了吗？"
过去两周，全世界的数学系都在问同一句话。
88 小时，对 90 年
纳维-斯托克斯方程，听着唬人，其实管的就是水怎么流、风怎么刮、飞机怎么飞。数学家琢磨它琢磨了 90 年，始终没闹明白一个问题：水会不会在某一瞬间突然失控，卷成无限大的漩涡？
8 月 28 日，OpenAI 开始训练一个内部模型。9 月 8 日，它说：解出来了。用时 88 小时，不到四天。靠的不是单打独斗，是上万个 AI 智能体一起推，像一万个人同时推一扇锈死的门，门开了。
机器证明了，人类没看懂
数学这行有老规矩：你证明，我审，审过了才算数。AI 交的这份证明 165 页，还用 Lean 做了形式化验证。你可以把它理解成数学界的保险柜，机器逐行核对，理论上一个错都藏不住。
可数学家还是不买账。
一个没法被人类读懂的证明，就像一封用外星文写的自首书，每个字都对，就是没人信。
克莱数学研究所给这道题挂了一百万美元的悬赏，至今没动这份证明。OpenAI 自己也不领这笔钱。为什么不领？因为"能被机器验证"和"算数"是两回事。证明可以是对的，但没人真正理解它为什么对。
AI 太快了，快到人类需要刹车
9 月 21 日，OpenAI 宣布成立"数学与 AI 顾问组"，设在普林斯顿高等研究院，九位数学家，独立运作。官方的说法是：以后模型产出的证明，怎么评估、怎么审查、怎么发布，听人类的。
翻译一下：AI 出证明的速度，已经快过人类审阅的速度了。公告里那句话很直白。"这个模型已经解决了数学大多数领域里 100 多个长期未决的开放问题"。而它，8 月 28 日才开始训练，现在还没训练完。
数学圈现在吵的，早就不只是"这份证明算不算数"了。
更吓人的问题是：机器一周能吐出几百个证明，人类一年才看得完一个。那"数学"这扇门，以后到底谁说了算？
热门跟贴