发生了什么？有人要求一个未发布的 Claude 版本解决一个长期存在的数学难题——黎曼猜想。简而言之，这是关于素数分布的一个陈述。极其困难。从未有人类能够证明它。它解决了吗？没有。（笑声）那么，它做了什么？好吧，它实际上能够改进一个相关的界限，超越了人类记录。它在某种程度上将人类的进步推得更远。我觉得这很不可思议。
现在，从数学角度来看。我听到的许多数学家似乎对结果既感到惊讶又印象深刻。有人称之为巨大的飞跃。我自己进行了一次验证，但我只是一个想要学习的学生，没有资格对数学方面发表更多看法。但是，人工智能方面的进展令人难以置信。有三件事我觉得超级有趣。
第一，肯定进行了极其精致的数学提示？不，并不完全是这样。实际情况是：首先，一个非数学家向这个人工智能发出了提示。哇哦。好吧。前 650 次尝试都失败了。现在，请握紧你们的论文，各位学者们。引文称：“在此过程中，Jared 的输入主要限于向 Claude 发送鼓励信息。大多是‘继续前进’和‘相信自己’的各种变体。”什么？他必须给一个人工智能加油打气，让它继续下去，而它成功了。
也许在未来，最强大的数学证明将不是由天才写成的，而是由生活教练写成的。生逢此时，何其有幸。还有更惊人的：这已经不是第一次发生这种情况了。引文称：“包含类似鼓励的提示曾被用来帮助 Claude 反驳雅可比猜想。”好吧，但我对另外两件事更加惊讶。
各位学者们好，这里是卡罗伊·佐尔奈-费赫尔博士的《两分钟论文》。第二点，完整的技术论文已经发布，当然相当难懂。以至于他们要求人工智能解释其发现结果。于是它照做了。与此同时，证明的形式化版本也已可用，可以自动验证。你现在甚至可以亲自运行它。
现在，这是我在其他地方不太常听到的内容。我浏览了超过一百页的转录文本和一些来自这段旅程的精彩花絮。Claude 通常可以访问互联网，但在关键突破的运行过程中并不需要它。Claude 首先走错了许多路，但能够从中学到教训并恢复过来。
然后，在大约 37 分钟的无线电静默后，出现了第一个关键结果。想象一下当时该有多紧张。然后，“砰！”人工智能自己也认为这个好得可疑的结果令人怀疑。它说，引文称：“强得不像是新的。”绝对疯狂。
第三点，连 Claude 对自己的发现也感到惊讶，起初持怀疑态度。他们还表示：“也许 Claude 自己也低估了人工智能的进步速度。”但一个会感到惊讶的人工智能。当然，这并不意味着人类式的惊讶。它仅仅反映了在训练期间从我们身上学到的模式。
但尽管如此，我觉得我们正生活在一个新世界裡，那些曾经说不通的话现在突然变得合理了。在这个由人类智慧构建的人工智能系统正在推动人类前进的世界裡，生逢此时，何其有幸。我们需要适应大语言模型时代的新工具，而 Weights & Biases 现在推出了 weave——一个轻量级工具包，用于自信地迭代大语言模型应用。使用追踪功能调试数据如何在应用的每一步中流动，并使用评估来衡量你的进展。这是最好的选择。
现在就尝试一下，访问 wnb.me/papers 或点击下方的描述链接。