Claude推进167年历史数学难题：3100万令牌、60个智能体，成功率从41.6%跃升至67.2%

Anthropic的Claude模型将一个长达167年的数学难题从僵局中解脱出来，取得了重大突破。这个问题于1859年提出，根植于解析数论，涉及质数的性质。在采用一种新颖的训练方法后，Claude在这个问题上的表现从41.6%跃升至67.2%。该模型消耗了3100万个令牌（token），相当于约2560万个单词，并在这一过程中生成了650GB的数据。为了解决这个问题，Claude动用了60个专门的代理（agent），每个代理分析了约2400篇论文，包括来自arXiv的54篇相关论文，以确保其推理的严谨性。强化学习以及通过证明助手Lean进行的验证起到了关键作用。Anthropic将这一成功归功于大规模计算与形式化验证的结合，这标志着AI辅助数学发现的新里程碑。