OpenAI 说它解开了 100 多道数学难题，数学家坐不住了

OpenAI 今天宣布成立一个"数学与 AI 顾问组"，设在普林斯顿高等研究院，九位数学家独立运作。跟着这个动作一起放出来的，是一条更炸的消息，公司从 8 月 28 日开始训练的一个神秘模型，已经解决了 100 多个长期未解的数学开放问题，里面还包括此前争议不断的纳维-斯托克斯千年大奖难题。

100 多道开放问题是什么概念，普通人可能没感觉。这么说吧，数学界那些"开放问题"，很多是几十年没人啃动的大石头，有的挂着百万美元悬赏。一个月前消息说它攻克了霍奇猜想，再往前是黎曼猜想，现在又加码到 100 多道。OpenAI 自己都说，这个速度让公司内部的数学家都吃了一惊。

但这不是一个简单的"AI 又赢麻了"的故事。真正微妙的地方在于，AI 界高歌猛进的同时，数学界其实一直压着一肚子话。陶哲轩、邓煜、彼得·舒尔茨这些顶级数学家，之前联名发过公开信，担心把"解决数学开放问题"当成新 AI 系统的基准，会带来负面影响。简单讲，他们怕的是，AI 吐出个"答案"就跑，证明过程对不对、中间有没有硬伤，没人真的去验，学界反而被带乱了节奏。

OpenAI 这次的回应，姿态摆得挺足。顾问组独立运作，能提公司没请求的建议，能公开评论，成员不从 OpenAI 领钱。九个人里有菲尔兹奖得主。这等于请了一批最不会给面子的评委，来给自己兜底。但有个细节值得注意，官方明确说顾问组"不负责就公司内部数学研究的推进节奏提供建议"，意思是，评审可以，但你别指望他们能踩刹车。

我的看法是，这事得拆成两半看。AI 能推数学，本身是实打实的能力跃迁，工具价值摆在那。但"解决了"和"证对了"是两码事，AI 给的是猜想和方向，离严谨的同行评审还有距离。所以 OpenAI 拉顾问组，更像是给这波成果找一个可信的背书渠道，把它想成认怂就偏了。

对普通读者，这条新闻最大的信号是，AI 的下一个战场已经从写代码、画画，烧到了最硬的基础科学。数学是所有科学的底座，这块一旦被 AI 撬动，后面的物理、化学、工程都会跟着变。我们站在门槛上，看得到光，也看得见门里还没收拾干净的疑虑。

你怎么看 AI 攻克数学难题这件事，是里程碑，还是需要打个问号的"抢跑"？

作者提示含AI生成内容。