OpenAI被曝雪藏数百个证明

「如果我想当数学家，看来大概只剩两周了。」

开这个玩笑的，是一个13岁的小女孩。

她的父亲Scott Aaronson，是德州大学奥斯汀分校的理论计算机科学教授，也曾在OpenAI对齐团队担任访问研究员。

9月15日，Aaronson把女儿的这句话写进了一篇长博文里。

同一篇博文里，他还列了一份清单，过去一个月，被AI证明或协助证明的长期开放问题：

雅可比猜想的反例、经Lean验证的费马大定理、量子复杂性理论里悬置多年的难题，全在其中。

真正让数学圈坐不住的，是清单末尾的一则传闻。

据他透露，AI公司在纳维-斯托克斯（Navier-Stokes）方程的证明上经历了一轮带有敌意的公众反应之后，现在正把一些「非常重大的问题」的解法压在手里，打算等想出更好的处理办法再说。

沃顿商学院副教授Ethan Mollick转发时特意声明，自己平时不传谣，但判断这条消息来自掌握内部信息的人，可信度不低。

随后，纽约大学数学教授Scott Armstrong又爆出一个更惊人的数字：

他被告知，OpenAI至少从7月的国际数学家大会（ICM）起，就压着「数百个」数学证明没有发布。

一道悬了几十年的难题被解开了，要不要立刻告诉全世界？

过去几百年，这在数学界几乎就不算个问题。

人们担心的只是题太难，没人解得开。

现在，一种新的不安正在数学界蔓延：答案也许早被机器算出来了，只是被锁在实验室里，秘而不宣。

AI解题开启流水线模式

「数百个」未公开的证明，听起来像天方夜谭，但放在今天的前沿AI实验室里，这是完全符合逻辑的。

20年前，最保守的学者都会调侃：等AI解出千禧年大奖难题，再叫醒我。

如今，AI解开一道旷世难题，不过几十个小时的事，人们甚至已经开始对此见怪不怪。

这一次，让数学界坐不住的不是又一道题被解开，而是不知道AI又偷偷解开了哪些题。

8月1日，OpenAI一口气发布了十项数学和理论计算机科学成果，宣称每项都解决或实质性推进了长期以来的开放问题。

9月1日，OpenAI听到风声：有两道千禧年难题已被人解决。

OpenAI的做法简单粗暴：

既然不知道是哪两道，就索性把所有未攻克的千禧年难题连同一批高影响问题，一股脑喂给一个能力强于GPT-6 Astra的内部模型。

一个近100个智能体组成的小组，仅用约50小时就先解出了无外力版本的欧拉方程问题。

随后，资源被集中倾斜到纳维-斯托克斯方程上。

攻克这道题的那一组，有大约1万个智能体在并发，距首批智能体启动约88小时后，解法出炉，随后的Lean形式化验证又花了17小时。

仅这一道题，就消耗了约1300亿个输出token。

Aaronson估算，这份166页的证明至少烧掉了约1500万美元算力，而目前大概还没有任何一个人类真正读懂了它。

纳维-斯托克斯只是冰山一角。

Armstrong透露，实验室现在几天之内就能拿出一篇160页的论文，外加一份数十万行规模的Lean形式化证明。