OpenAI周二在官方博客宣布,一个尚未发布的内部模型用约88小时、调动约1万个AI智能体协同作业,解出了纳维-斯托克斯方程的适定性问题——这是克雷数学研究所七大千禧年难题之一,悬赏100万美元,困扰数学界近90年。这本该是一条足够震撼的新闻,但它公布的方式,让不少数学家先皱起了眉头。
问题不在于AI能不能碰数学难题,而在于OpenAI似乎是听说其他研究团队在这道题上有了进展,才临时集中资源抢在对方前面发布。英国玛丽女王大学数学教授Abhishek Saha评价说,OpenAI做的是"数学家通常不会做的事情"。目前外界还不清楚所谓"其他团队的进展"具体到什么程度,也不清楚OpenAI是通过什么渠道得知这一消息——这部分指控目前只是学界的怀疑和担忧,并未坐实为窃取或间谍行为。
88小时和1万个智能体,改变的是竞速方式而不是证明本身
纳维-斯托克斯方程描述流体运动,之所以难,是因为方程解的存在性、光滑性长期无法被严格证明,任何人给出严谨证明都能拿走克雷研究所的百万奖金。过去90年里,全球顶尖流体力学与偏微分方程学者投入其中,进展缓慢。
OpenAI这次的解法,本质上不是一个模型独立"想通"了问题,而是1万个智能体基于同一底层模型并行搜索、协作推理的结果。这和一名数学家伏案数年得出证明是完全不同的生产方式——更接近于用规模化算力做穷举式的路径探索。把1万个智能体等同于1万名独立数学家,或者据此认定AI已经能替代数学研究,都是过度解读。
争议的核心:一篇博客能不能替代同行评审
数学界确认一个突破,历来有固定流程:论文或预印本公开、同行评审、领域内学者独立复核、最终由权威机构(比如克雷研究所)拍板认定。这个流程慢,但慢是为了让每一步逻辑都经得起别人挑刺——尤其是涉及百万美元奖金的千禧年难题,历史上曾出现过声称解决、后被推翻的案例。
OpenAI这次走的是另一条路:内部攻关、博客单方面宣布"milestone",证明细节和验证过程目前公开程度有限,独立学者复核尚未完成,克雷研究所也没有就此给出认定。换句话说,"解决了"目前只是OpenAI自己的说法。
- 风险.博客宣布若替代同行评审成为惯例,学术优先权和署名规则可能被算力优势方重新定义。
对高校数学系和研究者来说,现实的压力已经摆在面前:算力集中在少数公司手里,谁能调动上万个智能体,谁就能在争议问题上先声夺人,哪怕证明本身还没经过检验。对这些团队来说,接下来该盯的不是OpenAI的博客写得多漂亮,而是有没有独立数学家公开复核出完整证明细节,克雷研究所是否受理认定申请。这两件事没有下文之前,"解决"两个字都该打个问号。
抢发的博客替代不了同行评审,这是这次事件最容易被忽略的一层。
