一个未发布的人存模型在数学最大的未解决问题之一上取得了进展

150多年来，雷曼假设一直是数学中未解决的主要问题之一，是关于Prime分布的一个长期谜团。目前有100万美元的奖金用于对这一假设的一般性证明，这一假设仍然无人认领。当代人工智能模型仍然无法解决这个问题--但它们可以取得比你预期的更多的进展，这一发现可能会重新开启关于当代人工智能发现新科学和数学思想的能力的长期问题。Anthropic宣布，一个尚未发布的模型在黎曼假设上取得了重大进展，显著提高了假设成立的解的下限。更令人印象深刻的是如何取得进展的：一位没有受过重要数学训练的Anthropic工作人员促使模型“真正尝试”证明假设，然后离开模型在接下来的一天半里协调任务。该模型测试了650个不同的解决问题的想法，协调了60个子代理，总共花费了3100万个输出代币。“在60个子代理中，有两个负责开发关键的数学思想，”论文的脚注解释道，“13个向这些代理提供了想法，30个尝试（但无法）开发新想法，13个充当验证者来检查论点的正确性，最后两个帮助撰写了最初的论文。”这一发现得到了Anthropic的两位内部数学家的证实，并使用开源证明助手Lean进行了形式化。这是大型语言模型（LLM）领导的一系列数学突破中的最新突破。今年，人工智能模型解决了许多Erdos问题，更强大模型的发布带来了更令人印象深刻的结果。OpenAI最近发布了一组由其内部“Astra”模型证明的10项主要结果，而Separ

注：以上内容摘选自原始新闻，点击「访问原文」查看完整内容。