智东西 编译｜毕伟豪 编辑｜李水青 数学界与AI大厂积攒已久的矛盾，在一周之内被彻底摆上台面。 智东西9月12日消息，刚刚，陶哲轩发文称，25位菲尔兹奖得主联合签署公开信，抨击AI公司将“解决著名数学难题”当作衡量模型能力的基准，是“对数学这门科学和数学共同体的伤害”，矛头直指OpenAI。 这场风波的导火索，是本月初OpenAI的一次高调发布。9月8日，OpenAI宣布其内部模型通过约1万个Agent并发，仅用88小时就解决了纳维-斯托克斯方程问题，这是克雷数学研究所2000年选出的七大“千禧年大奖难题”之一，单题悬赏100万美元。 而就在公告发布前几个小时，纽约大学数学家Tristan Buckmaster和供职于Anthropic的数学家Levent Alpöge刚刚发表了同一问题在方程上的突破，并公开指责OpenAI“抢跑”。 优先权之争叠加联名声讨，让这件事从一场发布风波，升级为数学界对AI公司解题方式的集体表态。联合签署公开信的有1978年获奖的Pierre Deligne、2010年获奖的吴宝珠（Ngô Bảo Châu），以及2026年刚刚获奖的邓煜等25名菲尔兹奖得主。 陶哲轩发文虽然没有直接提到OpenAI，但他特意附上了The Economist对这场风波的报道，报道的标题是《顶尖数学家对OpenAI的方法感到愤怒》，直指OpenAI。 公开信地址： https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/ 一、88小时“速通”世纪难题：风波的来龙去脉 按照OpenAI的说法，他们使用了约1万个Agent，先以1000个Agent在简化问题上试跑了50个小时，随后全力猛攻纳维-斯托克斯方程，总耗时88小时。它们“证明”的结论是：存在一类起初完全静止的正常流体，在光滑外力作用下会在有限时间内速度升至无穷大，也就是数学上所说的“爆破”（blow-up）。 也即，纳维-斯托克斯方程这一连续介质模型，在极端情形下并不总能描述真实世界。但相比结论本身，数学家更关心另一件事：这个证明是怎么做出来的，以及它算不算数。 OpenAI宣称完成解题的是从8月28日才开始训练的模型，比GPT-6 Astra能力显著更强，暂不对外开放，整轮攻坚消耗了数百万美元级算力。 需要说明的是，这份证明尚未经过同行评审，按克雷数学研究所的规则，解题者要先在同行评审期刊发表成果、再经过两年的考察期，才能领取奖金。 争议的焦点出在署名问题上，9月7日，也就是OpenAI公告发布的前一天， Buckmaster与Alpöge发布了他们在受迫欧拉方程等“相关但不同“问题上的成果，外加三篇论文草稿，合计245页。Buckmaster还附了一份措辞激烈的声明，表示他与OpenAI方面沟通后发现，对方的解题思路，与他们两人正在走的路线几乎一模一样。 在学术传统里，得知他人未发表的研究方向后抢跑，是最犯忌讳的事之一。Buckmaster直言，他和Alpöge数月的工作记录都留在OpenAI的Codex里，于是他质疑OpenAI是否读取过用户数据。 Buckmaster说OpenAI对此回复模型没有查看用户数据，但却对训练数据问题避而不谈。Buckmaster还称，OpenAI提出过一份“合并方案”，由他执笔宣布“OpenAI内部模型解出纳维-斯托克斯问题”，条件是致谢OpenAI，但同为解题人且就职于Anthropic的Alpöge不能署名。 OpenAI一方对此全盘否认。牵头千禧年难题攻坚的Sébastien Bubeck在简报会上称：“无论是研究员还是Agent，在对方公开发布之前，我们没有看到他们的任何工作。” 他还公开了短信记录，称自己当时提供了让对方“优先发表”的选项；Sam Altman也下场辩护，称Bubeck和团队全程行为“诚信、慷慨”。 不过OpenAI在官方博客里留了一句耐人寻味的补充：“可能性不高，但我们无法排除，由他们使用我们产品所产生的去标识化数据，曾帮助改进我们的模型”。 同一周，摩擦延续到了现实中，加州理工学院原定10月30日举办数学黑客松，让参赛者用大模型解题，OpenAI和Anthropic联合提供了200万美元的AI算力额度。 而在一群数学家发布公开信，抨击这类活动很可能对数学共同体造成破坏性影响，认为AI公司正在进行学术不端后，组委会回应称将增加验证期和公开出版要求。据Business Insider报道，OpenAI现已宣布退出赞助。 二、把解题当目标，数学会失去什么 回到那份公开信，25位签署人全部是菲尔兹奖得主，获奖年份横跨近半个世纪，最资深的是1978年得主皮埃尔·德利涅，最新一位是今年7月刚获奖的