刚刚，陶哲轩、邓煜等菲奖得主联合抗议：AI公司正毁掉整个数学圈！

OpenAI，又开始对黎曼猜想和P与NP问题下手了？？

最近，这些AI大公司仿佛疯了一般在冲刺「千禧年问题」的KPI。

9月8日，NS方程被宣布解决；9月11日，第二道千禧年难题霍奇猜想被曝接近解决；据称，O/A两家正疯狂竞速，向BSD猜想发起冲锋。

到了今天，又有惊人消息传来：OpenAI已经在用内部模型尝试解决黎曼猜想和P与NP问题。如果该模型证明了 P = NP，整个计算机科学领域都将被颠覆！

然而，人类数学家们已经愤怒到了极点。

就在刚刚，包括陶哲轩在内的25位菲尔兹奖得主联名开炮，矛头直指OpenAI与Anthropic：「AI正在摧毁数学本身！」

他们并不是怕AI变强，而是看不惯数学被这两家做成基准测试和公关素材。

整个数学学术生态，将会因此摧毁！

88小时，1万智能体：AI对人类智力「降维打击」？

事情的导火索，是前几天OpenAI抛出的重磅消息。

OpenAI宣布，自家的内部AI利用1万个智能体，仅耗时88小时，就暴力破解了千禧年大奖难题之一的纳维-斯托克斯方程，证明了流体在特定条件下会产生奇点，并随后公布了Lean形式化验证。

随后，OpenAI公开宣布：拒领100万美元的千禧年大奖。

拿下NS方程才短短两天，OpenAI又向《纽约时报》凡尔赛式承认：我们已经在另一个千禧年问题（霍奇猜想）上取得了实质性进展。

现在，一张全新的「千禧难题基准测试」图表正在疯传，得分如下。

 Meta / DeepMind / xAI 等公开模型：全员 0 分人类基线（全人类顶级数学家）：1 分Anthropic 内部未发布模型：1 分OpenAI 内部未发布系统：2 分

以往那些测代码、做奥数的榜单，在千禧年难题面前已经彻底沦为废纸。

现在，大模型的竞争已经进入了无人区：不是看谁先发模型，而是看谁又拿下了一道千禧年难题。

陶哲轩领衔，26位菲奖得主怒了

然而，对于AI公司这种把数学难题作为秀模型能力的做法，数学家们彻底愤怒了。

就在今天，25位菲尔兹奖得主联合发表了一封名为《人工智能在数学领域的严重错位》的公开信。

得主名单包括Artur Avila, Maxim Kontsevich, Peter Scholze, 陶哲轩等，几乎囊括了当今最伟大的数学大脑。

为了让大家更直观地感受到他们字里行间的痛心，我们在此附上这封震撼的公开信原文。

菲奖得主们的核心诉求，是抵制把数学当做「通关副本」的商业逻辑。

正如他们所言，科技公司把解题当做公关素材，与数学的目标严重错位。

数学的核心，从来都不是产出冷冰冰的答案，而是理解结构、孕育思想。

解决一个著名难题，真正的突破要经过漫长的演讲、讨论、简化、写进教材，才能变成全人类共享的工具，甚至在几个世纪后造福大众。

如果只是用算力狂轰滥炸给出结果，人类的「思想链」就会断裂。如果没有人类「养活」，数学的灵感将会枯竭！

数学界最宝贵的资源，就是学生和想法，而AI公司的做法，正在破坏这片土壤。

更何况，匆忙公布结果、缺少论文、不交代AI是如何推导的、不引用前人工作……这些制造了严重的归属与抄袭问题。

正如信中所说：当产出结果变得无比容易，最初我们为何而做，就被遗忘了。

细思极恐的「学术丑闻」：AI是在证明，还是在「洗稿」？

更何况，OpenAI还涉嫌窃取人类数学家的未公开研究成果。

纽约大学数学家 Tristan Buckmaster 提出了强烈质疑。他和合作者 Levent Alpöge 一直在研究NS方程的同一个方向，并且在过去几个月里，把大量未公开的草稿、推演思路作为Prompt输入给了OpenAI的Codex系统。

结果几天后，OpenAI就集中算力拿出了NS的证明！

Buckmaster 怀疑：我的未公开研究，是不是已经被模型悄悄「学」进去了？

面对指控，OpenAI明确否认了「偷用」，声称划定了7月3日为时间边界，此后的用户输入不会影响系统。

他们甚至提出，可以把Buckmaster 的名字署在NS证明上——条件是，他必须放弃在Anthropic工作的合著者的署名。

这还不算完，更锤的证据来自另一位数学大牛 Andreas Thom。

Andreas在爆料，他花了二十年时间研究 Gromov 的 soficity 猜想（OpenAI后来宣布Astra系统解决的十个难题之一）。前几个月，他用ChatGPT和同事积极讨论了这个问题。

当OpenAI宣布解决该问题时，使用了与Andreas高度重合的非主流冷门路径！

Andreas写邮件质问OpenAI研究员：我们的私人对话是否进入了训练数据，或者被推理过程访问了？

OpenAI的回复极其玩味：他们坚决否认了「直接访问」，但随后又在别的场合补充：「不能排除从用户使用我们产品中得出的『去标识化数据』帮助改进了我们的模型。」

去标识化也许能抹去一个数学家的名字，但抹不去一个数学思想的知识产权。

一位学者愤怒地指出：「如果指控属实，我们正目睹科学史上最严重的学术丑闻之一。AI并非在发现新的数学知识，而是在窃取人类的发现，然后用算力抢跑发表！」

OpenAI 在NS方程上跑了88小时的算力，其耗费的资金足以雇佣 600 名博士后，工作整整一年。

用如此庞大的资源去抢夺学者的未发表成果，这是在发展科学，还是在绞杀数学生态？

正如公开信中一位读者留言所说：「AI和它的幕后操盘手，就像是被夸大了的人类劣根性——他们急功近利、抢夺功劳、不讲武德，但他们确实手里握着重型武器。」

OpenAI和Anthropic的疯狂内卷，践踏的是全体人类数学家的尊严。

当所有需要绞尽脑汁的星辰大海，都被AI用GPU在88小时内化解为冰冷的「True」。

当所有千禧年难题都被当做Benchmark被依次点亮。

人类，又该以何种方式证明自己曾在这个宇宙中思考过？

参考资料：

https://x.com/TheVixhal/status/2098460072758448464

https://mathandai.org/

文章来自于微信公众号 “新智元”，作者 “新智元”