OpenAI一次性发布722篇数学手稿，数学家面临存在危机

如果你还没听说，数学家们正为 OpenAI 最近一次性发布 722 篇数学手稿而激动不已，尽管其中一些仍在等待程序化的逻辑一致性验证。此前不久，AI 刚刚证明了 Navier–Stokes 问题某个版本，而该问题是七个悬赏百万美元的千禧年大奖难题之一。（AI 解决的是有外力持续推动流体的情形；而悬赏针对的是无外力推动的情形。OpenAI 并未声称要领取这笔奖金。）几十年来，无数凡人一直在努力给出证明，而 OpenAI 表示其模型用了不到一周就完成了。

一位典型的数学家一年写几篇论文。即便是史上最高产的 Paul Erdős，在六十多年的职业生涯中也只写了大约 1,500 篇，平均每年约 25 篇。这 722 篇手稿加起来，几乎相当于他毕生总量的近一半，而且是一次性交付的。

如同丝绸织工、钻石切割师和铁路旗手一样，数学家们正面临一场生存危机。以往是机器取代体力劳动，而这一次，AI 打到了我们最引以为傲的地方：智力成就。数学家如今与作家、程序员和研究人员同处一条船上：AI 正在替他们完成工作中最难的部分。那么，曾经是地球上最智能生物的我们，未来会怎样？好吧，让我们来看看……

经济学家 Joshua Gans 说，留给我们的只剩下书挡。左边，我们把任务交给 AI。中间，也就是书所在的位置，由它来完成工作。右边，我们检查它是否可行，并签上自己的名字。

作家检查引用的文献是否是幻觉。程序员阅读测试结果。而数学家——最初提出猜想的人——则要去审阅 722 篇论文。这比听起来要难。数学家们认为 AI 那份 166 页的 Navier–Stokes 证明很可能是正确的，但牛津大学的 James Maynard 表示，到目前为止，“这篇论文并没有教给我们多少东西。”

在这个比喻中，右边的书挡意味着要为你没写过、也看不太懂的论文背书。尽管如此，这日子也不算坏：左边的书挡才是有趣的部分，在那里你可以提出想法。任何在会议室里坐过的人都知道，大家有多渴望去做那一部分。

那么，该如何看待这一局面？我们是 AI 的中层管理者，还是仅仅是它的书挡：装饰性的、沉重的，撑着并非我们所写的工作？我们可以为自己保住了富有创造力、满足好奇心的岗位而沾沾自喜，但我们可能撑不了多久。再等一周看看。