欢迎来到数学领域的人工智能危机

今天，我在 Decoder 上与 The Verge 驻伦敦人工智能记者罗伯特·哈特 (Robert Hart) 讨论人工智能对数学领域的影响，以及许多顶尖数学家面临的生存危机。 OpenAI 刚刚针对数学领域长期存在的问题发布了一套解决方案，这些解决方案在该领域引起了轰动。这在数学界引起了一场巨大的争论，罗布花了一些时间与我们这个时代一些最有成就的数学家讨论了这个问题。有趣的是，人工智能系统在小学算术方面仍然很糟糕，但在非常高端的抽象数学方面却越来越擅长。这给高等数学领域提出了一些重大问题。如果人工智能可以进行这种水平的数学计算，这是否意味着人工智能实验室可以将这些技能转移到其他领域？如果前沿模型只是简单地回答所有悬而未决的问题，那么学术资助和大学项目训练新一代人类数学家在尝试解决现有问题时发现新问题有什么用呢？如果对数学的所有关注只是前沿人工智能实验室的一次大型营销活动，而这些实验室根本不关心最古老、最基本的学科之一会发生什么，该怎么办？这里有很多东西，罗伯特和很多人交谈过，对所有这些都有很多看法。好的：Verge AI 记者 Robert Hart 谈论人工智能对数学的影响。开始了。为了篇幅和清晰度，本次采访经过了轻微编辑。罗伯特·哈特 (Robert Hart)，您是 The Verge 驻伦敦的人工智能记者。欢迎来到解码器。我很高兴与你交谈。最近发生了很多事情，特别是您最近涉足的人工智能和数学领域。您与许多顶尖数学家讨论了人工智能带来的数学危机。感觉很多，而且关于这两件事的相互作用还有很多东西有待了解和发现。一场全面的生存危机，这纯粹是解码器的诱饵。大致告诉我们发生了什么。我认为“很多”很好地概括了这一点。基本上是一种存在主义危机，“什么是数学？数学家在做什么，数学家未来的角色是什么？”其中很大一部分是由人工智能能力的阶段性转变所推动的，这种转变在过去六个月到一年内呈爆炸式增长。在很短的时间内，人工智能从非常糟糕变成了在专业水平上看起来真正相当出色的技术。这是其他领域在过去五年里在非常有限的时间内一直在努力解决的很多问题。我会把它放在软件工程旁边。一段时间以来，我们一直在经历软件工程领域的人工智能危机。但就在 2024 年，甚至去年，传统观点认为人工智能模型在数学方面特别糟糕。著名的例子是这些模型无法计算草莓一词中 R 的数量。他们连数都数不过来。发生了什么让他们的数学成绩更好？他们是否仍然不擅长普通算术而擅长高等数学，还是介于两者之间？他们在数学的某些领域仍然非常非常糟糕。我查了一下，他们现在可以做草莓了。我认为有人调整了它。我认为草莓是硬编码的。我想说得很清楚，我的阴谋论是草莓的东西被硬编码到所有模型中。我也这么认为。这是一个我会相信的阴谋。但是，是的，在数学、算术、甚至一周中的日子里，它仍然很糟糕。有一天，我男朋友说：“它一直以为今天是星期三。这不是星期三。”或者时间。几个月前，Elissa Welle 为我们写道，ChatGPT 无法分辨时间。还是不行。这还不是数学的全部。所以就出现了这种脱节。要想擅长数学，你必须擅长计数、加法或乘法。很多其实都是推理。我认为，如果你看学术数学论文，很多时候你不会看到数字，而数字就是对这一数字的总结。所以他们仍然很糟糕，但他们现在在其他方面也非常擅长。至于为什么，在某些时候你会达到这些系统可以做的事情的临界点。我们在写作中看到了这一点，在编程中也看到了这一点。他们非常擅长在不同领域之间建立联系，以新方式应用旧方法，诸如此类。看来他们正在训练的新模型显然已经达到了它的水平，现在它可以做数学了。同样重要的是，我们将数学视为一门统一的学科，尤其是从外部来看。但想象一下，比如说生物学。你所掌握的内容范围从观察动物和描述行为一直到细胞机制和生物化学。数学也不是一门统一的学科。人工智能在某些方面确实很擅长。有些事情，比如数数，它仍然很糟糕。即使在更抽象的层面上，数学家也将拓扑学视为人工智能显然仍然相当不擅长的领域。我无法验证这一点，t