Anthropic 未发布模型在黎曼猜想上取得重大进展
原标题：An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
AI 摘要
Anthropic 宣布其未发布模型在黎曼猜想上取得重大进展，显著提高了该猜想成立的下界。该模型在无专业数学训练的员工引导下，通过 60 个子代理协作，测试了 650 个想法，花费 3100 万输出 token，最终由两名子代理提出关键数学思想，并经内部数学家验证和 Lean 证明助手形式化。这一成果引发数学界对 AI 在数学发现中作用的争议，部分数学家担忧其削弱传统价值，而菲尔兹奖得主 Timothy Gowers 则认为影响可能更复杂且积极。
正文节选
For more than 150 years, the Riemann hypothesis has stood as one of the major unsolved problems in mathematics, a long-running mystery about the distribution of prime numbers. There is currently a $1 million bounty for a working general proof of the hypothesis, which remains unclaimed. Contemporary AI models still can’t solve it either — but they can make a lot more progress than you might expect, a finding that’s likely to reopen longstanding questions about contemporary AI’s ability to discove