【AI×数学】Claude 推进黎曼假设

Anthropic 未发布的研究版 Claude，把黎曼 zeta 界的下界从 41.6% 提升到 67.2%——数学家们几十年一点点啃出来的界，被 AI 一次拔高

结果经 Lean 形式化证明语言核验，并由内部数学家评审后，于 10 月 5 日发表在 Anthropic 研究站

背景：不到两周前 Anthropic 刚完成费马大定理的完整计算机形式化；几天前 OpenAI 则一次性放出 722 篇论文、覆盖 377 个开放数学问题

数学正在成为前沿 AI 实验室的新竞技场，证明谁的模型能做人类数学家认可的真工作

网页链接AI 数学 黎曼假设