Anthropic 当地时间 8 月 11 日宣布，其尚未发布的模型在解决黎曼猜想上取得显著进展，将假设成立的下界大幅提高。该猜想自 1859 年提出以来一直是数学界核心未解难题，克雷数学研究所曾悬赏 100 万美元寻求完整证明。[[1]](https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved-problems/)
模型通过多代理协作完成任务：一名非数学背景的 Anthropic 员工仅提示模型“认真尝试”，随后模型在一天半内测试 650 种思路，调用 60 个子代理，消耗 3100 万输出 token。其中两个子代理主导关键数学思想，13 个贡献思路，30 个尝试但失败，13 个负责验证，另两个协助撰写论文。结果经公司内部数学家确认，并用开源证明助手 Lean 形式化。[[1]](https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved-problems/)
此成果延续今年 AI 在数学领域的突破势头，OpenAI Astra 模型此前已证明十项重大结果，Anthropic 也曾反驳雅可比猜想。不过，数学家群体对此存在分歧：6 月签署的莱顿宣言担忧 AI 可能削弱“证明归属特定作者”的学术规范，而菲尔兹奖得主蒂莫西·高尔斯则认为这未必是坏事，可能让数学发现更去中心化。
这一进展凸显前沿实验室正将 AI 从“聊天工具”转向“自主科研代理”。未来 6-12 个月，类似多代理系统若在更多未解问题上持续突破，数学与 AI 的边界将进一步模糊，行业焦点或转向如何验证与归属 AI 发现的成果。
信源：https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved-problems/