AI 早就不是工具,只是我们还没反应过来

 AI 早就不是工具，只是我们还没反应过来

题是1946 年一个叫 Erdős 的人提出来的，而你不用记这个名字，记一件事就够了：这道题挂在那里 80 年，全世界这个圈子里最厉害的人都试过，没人做出来。

这次做出来的不是一个为数学专门训练的 AI。就是一个通用推理模型，跟我们日常聊天用的那种是同一类东西。

它想这道题，思考的过程打印出来，有 125 页。

你试着跟爸妈解释一下这件事的分量。

假设你爸妈那一辈里，就有几个数学家从那时候开始想一道题。想到你出生。想到你上小学、上中学、上大学。想到你工作、谈恋爱、结婚、生孩子。

80 年。

然后一个聊天用的 AI，自己琢磨了一会儿，做出来了。

你可能会想：AI 不是早就会做数学题吗？算微积分、解方程、做高考题，它都会。这次有什么不一样？

不一样的地方是：以前那些题，答案都在书里、在论文里、在某个老师的脑子里。AI 只是把已经存在的解法找出来用一遍。

这道题不是。它的答案不在任何一本书里、任何一篇论文里、任何一个人的脑子里。

在这周之前，这个答案在地球上不存在。

是 AI 自己想出来的。

以前我们用 AI，是因为它能把我们会做的事做得更快，写信、查资料、改文案、改简历。

这次不是。

这次它做的事，是叫它干活的人本来就做不出来的。

这是两件不一样的事。

过去几年关于 AI，被问最多的问题是「它会抢走谁的工作」。问这话的人都带着焦虑。

这次没人这么问。

因为发生的事不在那个频道上，它不是抢了哪个数学家的活，是把一道整个人类都做不出来的题做出来了。

这件事的分量也不是 OpenAI 自己说大就大。

菲尔兹奖得主 Tim Gowers（这个奖号称数学界的诺贝尔奖）给这次的评语是「AI 数学的里程碑」。

另一位参与评审的数学家说，他判断这种 AI 证明值不值钱，标准是看它有没有让人类对这个问题有了新的理解，让这个领域变得更清楚一点。

他的回答是：有。

那这件事跟我们有什么关系？

昨天我们让 AI 帮自己改文章、挑措辞，回一封不想回的邮件。

今天它在某个我们看不见的角落里，把一道 80 年没人做出来的题做出来了。

这两件事，是同一个东西做的。

这件事到现在还没在中文世界引起多大动静。

可能是因为离我们太远，这只是一道我们从来没听过的题，被一个我们也不见得用得上的模型解出来了。

但它确实发生了。

就在我们用跟AI聊天的同一周。