AI热榜 150 多年来，黎曼猜想一直是数学中未解决的主要问题之一，也是素数分布的一个长期谜团。
目前有 100万美元的赏金 为该假设提供一个有效的一般证明，但至今无人认领。
当代人工智能模型仍然无法解决这个问题，但它们可以取得比你想象的更多的进步，这一发现可能会重新解答有关当代人工智能发现新科学和数学思想的能力的长期存在的问题。
星期一 ，Anthropic 宣布，尚未发布的模型在黎曼假设上取得了重大进展，显着提高了该假设成立的解的下限。
更令人印象深刻的是进展是如何取得的：一位没有经过大量数学训练的 Anthropic 工作人员促使模型“真正尝试”证明假设，然后让模型在接下来的一天半内协调任务。
总而言之，该模型测试了 650 种不同的解决问题的想法，协调 60 个子代理并总共花费了 3100 万个输出代币。
“在 60 个子代理中，有两个负责开发关键的数学思想，”论文的脚注解释道，“13 个子代理向这些代理贡献了想法，30 个试图（但无法）开发新想法，13 个充当验证者来检查论点的正确性，最后两个帮助撰写最初的论文。
” 这一发现得到了两位 Anthropic 内部数学家的证实，并使用开源证明助手将其形式化
🔗 原始来源
如果你要核对细节，可以再看原文： TechCrunch AI原文链接