OpenAI 在 88 小时内解出一道 200 年的数学难题，功劳归谁？

这份声明是从侧面抵达的

OpenAI宣布，其未公开的AI模型在88小时内解决了纳维-斯托克斯存在性与光滑性问题——七大千禧年难题之一。这则消息最早由韩国和日本媒体披露，西方通讯社尚未跟进。

这个顺序很重要。当AI加速发现时，它也加速了引用。被署名——或在被引用之前先引用他人——的竞赛，从成果出现的那一刻开始，而不是从它被验证的那一刻开始。

OpenAI实际声称了什么

据报道，内部代号为超越GPT-6 Astra的模型于1月1日开始工作，到1月5日得出结论。整个过程中约有10000个AI智能体相互通信，消耗了数百万美元的算力资源。该模型证明了纳维-斯托克斯方程中的光滑初值可以随时间保持正则性——自19世纪该方程被提出以来，这一问题一直无法得到证明。

千禧年难题中至今只有一个被解决：2002年格里戈里·佩雷尔曼证明了庞加莱猜想。其余六个仍然悬而未决。如果OpenAI的声明成立，纳维-斯托克斯证明将成为第二个。

速度并非最令人震惊之处

让这一刻与AlphaGo不同的，不是速度，而是领域。围棋是一个规则固定的有限游戏。数学是一种开放性的实践——规则随着问题本身而演进。掌握围棋的AI是在一个系统中游戏，而产生数学证明的AI则进入了系统本身正在构建的领域。

蔚山UNIST的崔圭敦教授说得很直接：这比AlphaGo更令人震惊。“我认为没有AI的帮助，这个问题至少还要100年，甚至200年才能被解决。“他说。

纳维-斯托克斯方程描述流体如何运动。它们支配着天气预报、飞机设计和洋流。两个世纪以来世界上最优秀的数学家都在研究其存在性与光滑性。至今仍未找到普遍证明。

署名之争现在开始

学术界已经在争论的问题是：如果一份证明由机器产生，署名权归谁？

纽约大学特里斯坦·巴克马斯特教授表示，他自己的未发表研究可能已被OpenAI的模型使用。他声称自己一直在积极研究这个问题，并认为AI的结果并没有反映他所经历的难度。“这不是一个你把问题输入模型、几天内就能找到解的问题，“巴克马斯特说。

如果巴克马斯特说的是对的，那么署名问题就不是抽象的了——它是个人的、迫在眉睫的。在一个训练了未发表预印本的AI中，一个研究者的毕生心血可能被有效吸收，并比那位研究者自己发表论文更快返回结果。

无人撰写的证明该由谁署名——这个问题不是理论问题。它已经发生了。

AI速度下的同行评审意味着什么

OpenAI的模型用88小时得出了结论。同行评审需要数月，甚至数年。产出与验证之间的差距，就是数学发现中的新摩擦。

延世大学李俊相教授指出，该AI展示了一种新的研究工具——能够探索和形式化检验数学证明。但"最终的合法性和学术意义需要专家验证”，他说。

正是这个验证步骤决定了归属。当一份证明被审查时，评审者不仅要判定它是否正确，还要决定谁值得为得出它的道路署名。一个无法署名的AI创造了一个真空——而真空会被第一个发表的人填补。

机构的回应

数学界的有些人已经推测，菲尔兹奖——常被称为"数学界的诺贝尔奖”——可能面临过时。如果机器解决了人类花了几百年解决的问题，什么机构来颁发署名？

赞助千禧年难题的克莱数学研究所尚未就OpenAI的声明发表评论。该研究所为每个难题的解答提供100万美元奖金，同时也要求解决方案发表在经过同行评审的期刊上，并被数学界接受。

OpenAI的模型尚未在任何地方发表。该成果存在于一个专有系统之中。

谁先出手

这则故事在首尔和东京首发，其次才是纽约和伦敦。这就是现在的模式：AI生成的成果在最直接有用的市场传播最快，而不是在最严格验证的地方。

韩国的技术基础设施和日本的学术网络早早接住了这一声明。那位韩国教授"比AlphaGo更震撼"的引语，跑得比那位纽约大学教授的不确定更快。

引用的延迟有利于速度。一份成果的最初叙述会被链接、被转发、被在此基础上继续推进——即便验证流程尚未跟上。

如果这份证明属实，会改变什么

如果OpenAI的声明通过了同行评审，影响将远超一个方程。产生这一成果的同一批模型可以被应用于其他千禧年难题——黎曼猜想、P vs NP、霍奇猜想。

每一个没有人类作者的难题被解决，都会引发同样的署名问题。每一次验证的滞后，都会拉大发现与署名之间的距离。

数学界还没有准备好迎接一个证明的到来速度快于人类能审查的速度。但这个世界正以这种方式到来。

下一个问题不是"是否"而是"谁”

OpenAI表示，他们相信该领域已进入AI发展的新阶段。现在的问题是，衡量学术署名的机构——大学、期刊、评奖委员会——能否足够快地适应，并给出正确的署名。

如果一台机器三天内解决了一个200年的难题，震撼的并非速度。而是随之而来的沉默——数月的验证期、署名的争抢，以及当证明由无人撰写时，谁会被人记住的不确定性。