一条不寻常的公告
9月21日,OpenAI在官网和官方账号同步发布了一份不太寻常的公告:正式成立一个“数学与人工智能顾问组”,请来9位世界顶尖数学家坐镇,办公地点设在普林斯顿高等研究院。
表面上这是个学术顾问机构,但它背后藏着一条更劲爆的消息——OpenAI披露:8月28日开始训练的一个内部新模型,已经解决了100多个长期悬而未决的数学难题,横跨数学大部分领域。其中最引人注目的,是那道困扰数学界近90年、悬赏100万美元的千禧年大奖难题——纳维-斯托克斯方程问题。
从8月28日开始训练,到9月21日官宣,只用了24天。这个速度,连OpenAI自己内部的数学家都感到意外。
一、这道题是什么?为什么这么难?
纳维-斯托克斯方程(简称NS方程),是描述流体运动的基本方程——水流、空气流动、洋流、飞机机翼周围的气流,背后都是它在工作。2000年,美国克雷数学研究所把它列入七大“千禧年大奖难题”,每道悬赏100万美元,二十多年过去,大部分至今无解。
具体到NS方程,数学家想证明的问题是:给定光滑的初始条件,方程的解会不会在某个时刻突然“爆掉”(数学上叫出现奇点)。说人话就是:一个平稳流动的水流,会不会在某种情况下“无中生有”地乱套?这个问题悬而未决近90年,因为流体运动实在太复杂——计算机能模拟,但极难用数学严格证明。
OpenAI公布的解法对应的是该难题的C、D版本:在光滑外力作用下,初始静止光滑的三维不可压缩流体,可以在有限时间内形成奇点。论文和形式化验证代码均已公开。
二、AI是怎么“解题”的?
根据OpenAI此前(9月8日)公布的细节,这次攻坚的打法跟人类完全不同:
- 调用约1万个AI智能体并行工作,有的读文献、有的跑代码、有的在组内交换信息,不同小组探索不同的解题路线;
- 约88小时后(不到4天),系统得出解法;
- 随后再用公开旗舰模型GPT-6 Astra花17小时,把证明翻译成Lean形式化验证代码,由机器逐行检验逻辑是否无懈可击;
- 整个过程里,智能体之间互发了约490万条消息,消耗了数千亿token。
翻译成人话:以前是一位数学家带着几个学生,在黑板前一坐十年;现在是一万个小AI分头探路、互相通气,快速撞出一条通路,最后再用一个“逻辑检查器”确保每一步推理都站得住脚。
另据美媒The Information 9月17日的爆料,另一道千禧年难题“霍奇猜想”,OpenAI也已接近拿下。
三、数学界炸锅了:先有联名抗议,后有顾问天团
这场突破并没有收获一片欢呼,反而先炸出一场论战。
9月11日,陶哲轩、邓煜、彼得·舒尔茨等20多位菲尔兹奖得主(数学界最高荣誉的获得者)联名发表公开信《AI在数学领域的严重错位》。他们的核心批评是:把人类几百年沉淀下来的公开难题,当成AI模型的“跑分题”,解出来就匆匆官宣,伤害的是数学研究本身——数学的价值在于理解、传承和培养年轻人,而不是刷分。更现实的是:如果年轻学者苦熬多年研究一个问题,最后发现AI早就解出来了、只是公司没公布,这条路还怎么走?
连OpenAI自己人都感到不适:参与核验的研究员Buckmaster直言,为抢首发赶出来的NS证明论文是他读过最可怕的东西,他称之为“AI泔水”,并为此公开道歉。
于是才有了这次顾问组的成立。首批9位成员里包括三位菲尔兹奖得主——蒂莫西·高尔斯、马丁·海勒,以及被称为“爱因斯坦后继者”的传奇物理学家爱德华·威滕。他们的任务是帮OpenAI判断成果含金量、决定怎么发布、守住学术规范。
但值得玩味的是条款细节:这9位大佬不拿OpenAI一分钱,可以公开批评公司、可以自行调整成员——唯独没有的权力,是管OpenAI自己的研发走多快。有人在社交媒体上精辟总结:“有声音,没有否决权。”
四、对普通人意味着什么?
第一,先泼盆冷水:目前是OpenAI“声称解决”,验收才刚开始。100多道难题的证明,人类数学家还没来得及逐一检验——全世界能审纳维-斯托克斯级别证明的人,两只手数得过来。顾问组的第一件事,就是把验证和发布机制立起来。在数学界盖棺定论之前,严谨的说法是“OpenAI宣布解决”,而不是“已经解决”。
第二,趋势已经非常清楚:AI开始进入人类知识的最前沿。数学是所有科学的地基,流体方程背后连着气象预报、飞行器设计、能源工程。数学能力的跃迁,迟早传导到这些领域。
第三,每个行业都该有点紧迫感。数学家是地球上最聪明的群体之一,AI第一个猛攻的却是他们的城门。按这个节奏,物理、化学、生物大概率都会先后走到这一天。
第四,一个新命题出现了:AI生成答案的速度,已经超过人类审查的速度。“怎么验收AI的工作”,正在成为一种新的稀缺能力。今后不管什么行业,能看懂、能核验、能拍板的人,价值只会更高。
写在最后
与其说这是AI的胜利,不如说是一场人类知识生产方式的前震,数学只是最先被震到的那一层。对普通人来说,与其焦虑,不如把它当成一个信号:工具又往前跳了一大截——谁先学会用它,谁就先受益。