Sam Altman 与 Anthropic 的 Navier-Stokes 千禧年难题之争,终于从幕后协调演变为公开对峙。OpenAI CEO 今日发文回应,语气少见地强硬:对方手里只有 Euler 结果,却试图把整场证明的功劳一并拿走。更关键的是,双方协调过程彻底破裂,Anthropic 一方非但没有推进合作,反而以抄袭指控作为施压手段。
这场纠纷的起点,是两家公司几乎同时宣称在 Navier-Stokes 方程上取得突破。数学界很快发现,所谓完整证明中只有 Euler 方程部分站得住脚。问题不在于成果真假,而在于谁先完成了哪个环节、双方此前是否约定共享。Altman 的叙述指向一个事实:Anthropic 握有的证据无法支撑其对 Navier-Stokes 完整证明的主张,于是退而求其次,用法律或声誉层面的威胁来争夺话语权。
事情发展到这一步,已经不再是单纯的学术竞赛。NYU 数学家此前就指控 OpenAI 在千禧年难题竞赛中“不正当竞争”,如今 Altman 的反击让争议回到原点:当 AI 系统参与最高难度的数学证明,跨公司的协调机制和成果归属规则显然还没跟上。双方各执一词,外界只能从公开发言里拼凑真相。但有一点越来越清楚——这类纠纷往后只会更多,而数学界需要的不只是耸人听闻的标题,而是一套经得起检验的同行评议流程。

