未发布的Anthropic模型在黎曼猜想上取得进展

Anthropic宣布，一款尚未发布的模型在黎曼假设上取得了重大进展。黎曼假设是关于素数的一个著名未解问题，已悬而未决超过150年。Anthropic的一名员工虽未受过重要数学训练，但提示该模型尝试证明，并让其自主协调该任务长达一天半。模型测试了650个不同的想法，协调了60个子代理，总共耗费了3100万个令牌。其中两个子代理提出了关键的数学思想，其他子代理则贡献想法、尝试但未能开发出新思路、担任验证者或协助撰写论文。Anthropic内部的两名数学家确认了该结果，且该证明已使用开源证明助手Lean进行了形式化验证。这是大型语言模型在数学领域一系列突破的一部分，包括解决了Erdős问题以及OpenAI的“Astra”模型和Anthropic推翻雅可比猜想等其他成果。越来越多的成果引发了兴奋与担忧，一些数学家对证明的归属和责任问题表示担忧，而菲尔兹奖得主蒂莫西·高尔斯则认为，这种变化可能并不像看上去那样成问题。