AB Kuai.Dong(@_FORAB):AI 真能推动数学界进步。Anthropic 让一个尚未发布的 Claude 研究版本，去挑战数学界的黎曼猜想。虽然它们并没有把困扰数学界，160 多年的难题证明出来，但在尝试过程中，意外取得了一个新进展。过去数学家只能证明，至少有 41.6% 的黎曼函数临界线猜想，所说的那条关键直线上，Claude 提出的新证明把这个下限提高到了 67.2%。简单来说，黎曼猜想说所有重要零点，都应该排在一条线上，目标是证明 100% 都在这条线上。 Claude 并没有做到 100%，也没有证明剩余零点不在线上，只是把人类目前能够确定肯定在线上的最低比例，从 41.6% 推到了约 67.2%。 Claude 先后尝试了约 650 个思路，消耗 3100 万输出 Token，运行 2400 次命令并编写数百个 Python 脚本，互相检查证明、寻找反例，还查阅了 54 篇论文。最终，它把过去几十年多位数学家的成果，用一种此前未被充分利用的方式组合起来，随后 Anthropic 的数学家和外部专家随后进行了审查，Claude 还把核心结果写成了可由 Lean 验证的形式。

2026.08.11 01:21

AI 真能推动数学界进步。Anthropic 让一个尚未发布的 Claude 研究版本，去挑战数学界的黎曼猜想。虽然它们并没有把困扰数学界，160 多年的难题证明出来，但在尝试过程中，意外取得了一个新进展。过去数学家只能证明，至少有 41.6% 的黎曼函数临界线猜想，所说的那条关键直线上，Claude 提出的新证明把这个下限提高到了 67.2%。简单来说，黎曼猜想说所有重要零点，都应该排在一条线上，目标是证明 100% 都在这条线上。 Claude 并没有做到 100%，也没有证明剩余零点不在线上，只是把人类目前能够确定肯定在线上的最低比例，从 41.6% 推到了约 67.2%。 Claude 先后尝试了约 650 个思路，消耗 3100 万输出 Token，运行 2400 次命令并编写数百个 Python 脚本，互相检查证明、寻找反例，还查阅了 54 篇论文。最终，它把过去几十年多位数学家的成果，用一种此前未被充分利用的方式组合起来，随后 Anthropic 的数学家和外部专家随后进行了审查，Claude 还把核心结果写成了可由 Lean 验证的形式。

Jarred Sumner@jarredsumner

2026.08.10 17:37

8 days ago, while jogging, I asked Claude to solve the Riemann Hypothesis It didn’t. 1.5 days later, it proved >= 67% of the zeros are on the line (prev: 41.6%) Still not sure what that means, but some analytic number theorists seem excited

커뮤니티로 전달