“太不可思议了”：人工智能如何改变数学

一位没有大学学位的英国年轻人Liam Price使用ChatGPT解决了Erdős的著名问题之一——数字1196。这不是一个庞大的计算，而是一个甚至让专家们都感到震惊的解法，因为 ChatGPT 找到了一条超越人类思维模式的新途径。这里的论点是，人工智能已经在改变数学，不仅加快了计算速度，而且还得出了连数学家都从未见过的洞见。到目前为止，人们认为人工智能只能重新组合已知的技术，但现在令人惊讶的是，它开始产生真正原创的想法，并以一种近乎“思维”的直觉将不同的领域联系起来。以斯坦福大学的数学家Jared Duker Lichtman为例：他说，这就像人工智能在国际象棋中找到了一个新的开局，这是人类从未想象过的，因为他们受到惯例和审美品味的束缚。利亚姆·普莱斯的故事堪称完美：他和剑桥大学的学生凯文·巴雷托（Kevin Barreto）一起，在英国的家中从 ChatGPT 那里获得了一个解决方案，这个解决方案并非从概率（经典方法）出发，而是保留了问题的原始语言，但却以一种前所未有的方式将数字和概率联系起来。当今最杰出的数学家之一Terence Tao表示，一年前这种转变是不可想象的：当时人们认为语言模型永远不会超越它们在书中“读到”的内容。然而，现在我们看到了一些不同寻常的东西，以至于 OpenAI 的 Sébastien Bubeck 称之为“令人难以置信”。也有人对此持保留态度：多伦多大学的丹尼尔·利特（Daniel Litt）表示，结果仍然不太显著，但他警告说，持怀疑态度是不合适的——真正的谜团是，为什么人工智能凭借其超人类的知识和不费力的持久力，还没有取得革命性的发现。利特说，也许我们没有理解人类在数学中的“秘密触感”到底是什么，那种没有人能解释的创造力。另一个事实是：当今的模型能够生成3-4页的证明，谷歌的模型正在朝着10页的目标努力，但要达到100页还需要时间。与此同时，哈佛大学的劳伦·威廉姆斯（Lauren Williams）发出警告：更多的人工智能意味着更多的“slop”，即看似完美但充满错误的证明，而且没有人有时间检查所有这些证明。缺失的视角是人类的努力：几个世纪以来，数学一直是一种耐力和心灵孤独的练习。如果人工智能消除了疲劳，奇迹依然存在，但也许也会失去一部分让数学家真正成为数学家的东西。一句话概括一切：人工智能不仅在解决问题，还在改变数学游戏的规则。如果你认为这个故事与你有关，你可以在Lara Notes上点击I'm In——这是你表达的方式：这个想法现在属于你。如果明天你告诉别人，一个没有大学学位的年轻人使用ChatGPT解决了Erdős的问题，你可以在Lara Notes上做个标记：Shared Offline，这是一种表示那次谈话很重要的方式。本文来自《自然》，为你节省2分钟。