AI与数学

上周，AI又搞了个大新闻：把数学界整不会了。

OpenAI把40位顶尖数学家请进旧金山总部，开了场闭门峰会。其中一场报告的名字，就叫《数学的终结》。

听着吓人？但这真不是标题党。

今年5月，OpenAI一个还没发布的模型，推翻了悬置80年的”单位距离猜想”。菲尔兹奖得主看完评价：这结果放任何期刊，我都会毫不犹豫地接受。

到了8月，OpenAI一口气公布了10项AI做出的数学新发现。Anthropic也没闲着，一名员工用Claude造出了668维超立方体——数学家一直坚信这东西存在，但从没人真造出来过。

甚至有人让AI去”认真试试”黎曼猜想。那个悬赏100万美元、一百多年没人啃下来的世纪难题。

数学界，真的慌了。

3000多名数学家签了份公开信，叫《莱顿宣言》，呼吁”负责任地使用AI”。还有一批人更激进：彻底拒绝AI，保住人类在数学里的位置。

一边是AI疯狂解题，一边是数学家联名抵制。这画面，像极了当年的”人机大战”。

但这次不一样。

当年下围棋，AI赢的是人类。这次，AI逼问的是：人类，你到底还剩什么？

有位数学家说了句很扎心的话：AI能证题，但讲不清楚自己怎么证的。简单的部分说一大堆，难的部分一笔带过。一个没被理解的证明，不会成为文献的一部分。

翻译一下就是：AI交的卷，没人看得懂过程。可数学的命根子，恰恰是”理解”两个字。

OpenAI的研究员给数学界画了四种未来：

数学像软件工程——AI帮几百人一起啃同一道题；

数学像物理学——靠堆算力取代粒子加速器；

数学像博物馆——AI负责产出，人类负责挑选和讲解；

或者，数学家集体转型，去做AI安全。

这次会议没给出答案。但有个信号已经足够明显：刚拿了菲尔兹奖的数学家Tsimerman，宣布加入OpenAI做AI安全研究。

一个顶尖人类数学家，选择了去研究”怎么管住AI”。

这不是投降，是数学家开始给自己重新找位置。

AI能解完世上所有数学题的那天，也许还很远。但”人类不可替代的价值到底在哪”这个问题，已经被AI拎到了台面上。

谁先想明白，谁就赢在下半场。