Claude 改进黎曼猜想下界
推荐指数 62.0 NO. 015 · 2026.08.11
发布2026/08/10Score58Comments20
为什么值得看
Anthropic 未公开研究版 Claude 在尝试证明黎曼猜想时，意外改进了该猜想一个相关问题的长期下界结果。这是大模型首次在核心数学难题上取得实质性数学进展，而非仅辅助证明验证。
编辑判断
黎曼猜想的零密度下界是解析数论的核心问题之一，此前由数学家 Ingham 在 1940 年建立的经典结果被多次小幅改进。Claude 的突破点在于它并非被明确指示去优化这个下界，而是在攻击主问题时自主发现了旁路进展。
这暗示当前大模型的数学能力可能处于某种'能力悬崖'边缘：对超难题目束手无策，但对相邻的成熟领域已能产生人类专家级的新颖推导。对做 AI for Math 的团队来说，关键问题变成如何设计'脚手架'把主问题拆解到模型当前能力圈内。
值得关注 Anthropic 是否会公开该研究版本的训练细节——是单纯 scale up 还是加入了数学形式化数据，这直接影响其他团队复现路径。
社区反馈
意见分歧 20 条评论
核心争论："鼓励式提示"是有效工程手段还是危险拟人化，以及非数学家驱动数学突破的荒诞性
相关内容
> Jarred Sumner, an Anthropic staff member (and non-mathematician) prompted Claude to “take a real stab” at the hypothesis itself, leaving the mathematical choices from there up to the model. Initially, Claude generated and tried 650 ideas, none of which worked. Jarred prompted Claude to try again,
Im curious if you find this to be a parody in a bad way or simply a “the state of the art in math research right now is telling a machine to believe in itself”. I am in the latter camp…
The former, because it's anthropomorphizing a model. Anthropic is especially guilty of this, they have been using such language for a while, like when they analyze model weights for mechanistic interpretability and call it the model's "biology". It's just distasteful.