黎曼猜想是数学界最著名的未解难题之一，悬赏100万美元，已悬而未决超过150年。Anthropic 周一宣布，其一个未发布的模型在这一问题上取得了实质进展——显著提高了黎曼猜想成立的下界范围。

更关键的不是结果本身，而是达成路径：一名没有深厚数学背景的Anthropic员工，只是提示模型“认真尝试”证明该猜想，然后留给模型自行协调执行。随后一天半里，模型在60个子代理之间协调，测试了650种不同的思路，总花费3100万（单位未明确，可能为计算资源）。最终，只有两个子代理负责提出关键数学想法，13个代理贡献辅助思路，30个尝试但失败，13个负责验证正确性，最后两个协助撰写初稿。该结果由Anthropic内部两位数学家确认，并使用开源证明助手Lean进行了形式化。

这是大语言模型在数学领域一系列突破中的最新一例。今年已有多个Erdos问题被AI解决，OpenAI的内部模型“Astra”也证明了十项重要结果，Anthropic另一个项目则否定了长期存在的Jacobian猜想。这些进展在数学界引起分裂：一批知名数学家签署公开声明，担忧AI可能侵蚀“数学证明应由具体作者承担责任”的核心价值。但菲尔兹奖得主Timothy Gowers在回应中提出，如果未来数学定理不再与数学家个人关联，未必比“星星不以天文学家的名字命名”更成问题。