Anthropic 未发布的 AI 模型在黎曼猜想上取得重大进展

Anthropic 宣布其未发布的 AI 模型在黎曼猜想上取得了重大进展，大幅提高了该猜想成立的下界。该模型自主运行约一天半，测试了650种方法，协调60个子代理，最终由两名子代理取得关键突破。这一成果已通过 Lean 证明助手形式化，并引发了数学界关于 AI 在数学研究中角色的讨论。