今天刷到满屏的数学消息，一开始以为又是标题党。

OpenAI 今天一口气公布了 722 篇数学论文，全是一个还没发布的模型自己写的，平均每篇烧 3 个小时的算力。里面有个结果直接推进了黎曼猜想，那是悬了 160 多年的难题。还有个细节：一部分证明能被计算机逐行验证，剩下的他们自己承认，可能有问题。

最先炸的不是媒体，是数学家本人。罗格斯大学的数学家 Alex Kontorovich 发帖的时候连打了一串问号——“如果这是人类做到的，会是立刻拿菲尔兹奖的地步，不用多说”。他研究了大半天那篇论文，最后只补了一句：疯了。

另一个搞 AI 的工程师说得更直接，“如果你是个数学家，你现在应该感觉像被核弹击中，而你就站在爆心”。他的原话里还有一句：推理模型才两岁，从算不对加减法到解决人类几十年解不开的问题，数学只是开始。

其实这不是 OpenAI 第一次对数学下手。上个月，还是这个没发布的模型，用将近一万个 AI 组成的团队跑了 88 小时，宣布搞定了纳维-斯托克斯方程——千禧年七大难题之一，悬赏有一百万美元。那条帖子被看了七千五百多万次。

评论区最高赞是条梗图，人对电脑说“解决数学”，电脑回“这是所有的证明”，人惊呼“我的天”。也有人问了个扎心的问题：谁会去读这些证明呢？人类还来得及读懂它们吗，还是以后由机器读、机器追更，我们只在旁边看着？

这些论文我一个字都看不懂，但有件事很清楚：人类智慧的边界，正在被一些我们看不懂的东西推着往前走。数学家的饭碗会不会被端掉不好说，“AI 只会聊聊天”的印象，今天是不好使了。

你们觉得，数学家该慌吗？

#ai

#人工智能

#数学

#科普