菲奖得主联合抗议：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, 陶哲轩等，几乎囊括了当今最伟大的数学大脑。