未发布 Anthropic 模型推进黎曼猜想

Anthropic 周一宣布，一个尚未发布的模型在黎曼猜想上取得大幅进展：显着提高了该猜想成立解的下界。公司未解决这个悬了 150 多年的数学难题，也未领取 100 万美元悬赏，但推进幅度超出外界预期。

更值得注意的是推进方式：一名无专业数学训练的 Anthropic 员工，仅给模型一句「认真试一把」的提示词，模型在一天半内自主协调任务，测试 650 个解题思路，调动 60 个子 agent，消耗 3100 万输出 token。

最终成果由两名内部数学家确认，并用开源证明助手 Lean 完成形式化验证。这是今年一系列 LLM 数学突破的最新一笔——此前 OpenAI 的 Astra 模型发布 10 个重大结果，Anthropic 另用模型否证了雅可比猜想。

💡 为什么值得看未训练数学背景的员工靠一句提示词，让一个未发布模型自主推动数学前沿，风格与规模都少见。