Anthropic未发布模型在关键数学问题上取得进展

黎曼猜想，作为数学中最著名且尚未解决的有关素数分布的问题，已悬而未决超过150年，其证明悬赏高达100万美元。Anthropic公司宣布，一个未发布的模型取得了显著进展，显著提高了该猜想已知成立时解的下界。一位数学背景有限的员工建议该模型尝试解决此问题，随后在接下来的一天半时间里放手让其协调任务。在那段时间里，该模型尝试了650条解题路径，协调了60个子代理，并消耗了3100万输出令牌。在这些子代理中，有2个开发了主要的数学解决方案，13个为这些代理生成了新的变体，30个尝试但未能产生新想法，13个担任验证者，另有2个帮助撰写了初始论文。该结果已由两位专职数学家验证，并在Lean证明助手中形式化。近年来，人工智能模型已解决了几道Pál Erdős问题，OpenAI的Astra模型解决了其中十道，而Anthropic的另一个模型则反驳了一个长期存在的Jacobi猜想。这些成就在数学界既引发了兴奋，也引起了担忧，涉及作者归属和正确性责任的问题，有人主张定理不必与特定研究者挂钩。