Anthropic 未公开 Claude 将黎曼猜想零点下界提升至 67.2%
未公开的新模型“立功”，Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破
Anthropic 的 Claude 把黎曼猜想零点下界从 41.6% 提到 67.2%，还放出论文和 Lean 证明，数学和 AI 圈都值得看看。
Anthropic 于 8 月 11 日宣布，未公开的研究版 Claude 在攻克黎曼猜想中取得进展，将临界线上零点比例下界从 41.
6% 提升至 67.2%。
Claude 在 Claude Code 中自主完成研究，生成 3,100 万个 Token，经历 650 次失败后调集 60 个子级智能体，执行 2,400 条 Shell 命令并编写数百个 Python 脚本。结果经内部数学家莱文特·阿尔波格和拉尔夫·弗曼验证，并由外部专家布赖恩·康雷和丹·戈德斯顿审阅，证明已写成 Lean 可验证形式。
Anthropic 公布了论文、过程记录及形式化证明，但未透露多智能体能力是否近期开放。
未公开的新模型“立功”，Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破
IT之家 8 月 11 日消息，Anthropic 今天（11 日）宣布，尚未公开的研究版 Claude 在攻克黎曼猜想的过程中取得重要进展。 在一次持续数天、由模型自主完成的测试中，Claude 把黎曼 ζ 函数临界线上零点比例的长期下界 从 41.6% 提高到了 67.2% 。 Claude 在 Claude Code 中完成研究，两次测试共生成 3,100 万个输出 Token。经历 650 次失败尝试后，模型调集 60 个子级智能体继续推进， 累计执行 2,400 条 Shell 命令，并编写数百个 Python 脚本 。 Anthropic 随后请内部数学家莱文特 · 阿尔波格和拉尔夫 · 弗曼验证结果，并交由外部数论专家布赖恩 · 康雷和丹 · 戈德斯顿审阅。员工埃里克 · 伊斯利还协助把证明写成可由 Lean 验证的形式。 黎曼猜想于 1859 年首次提出，克雷数学研究所为破解难题设有 100 万美元 （IT之家注：现汇率约合 675.5 万元人民币） 奖金。 Claude 此次结合了巴卢约特、戈德斯顿、苏里亚贾亚、特纳奇-巴特博和邦别里等数学家的既有研究框架。 Anthropic 还解释了具体方法。 Claude 构造了一个合适的函数空间，并在其中引入由韦伊诱导的二次型。临界线上的零点形成正定子空间，临界线外的零点则形成负定子空间。随后，Claude 利用一阶矩和二阶矩信息，直接建立了二次型秩的不等式。（通过素数上的对偶图景，或控制希尔伯特变换来计算后二阶矩信息，在解析数论中并不意外。） 真正关键的一步，在某种意义上，是把整个空间统一处理，同时纳入正定和负定部分，并允许二次型采用非对角形式。正是基于重要的前人研究，Claude 由此得出了上述结论。 Anthropic 还公布了 Claude 撰写的论文，同时提供非正式专家评注、详细过程记录，以及可以通过 Lean 正式验证的证明。不过，Anthropic 没有透露是否会在近期向公众开放上述多智能体能力。 参考 Claude 的论文 Claude 的形式化表达 Anthropic 的非正式备忘录 Claude 对其所得结果的解释 Claude 的过程详细记录
This report is categorized under AITOP's "Models" desk, focusing on US frontier AI labs and Silicon Valley technology leaders. Within our cross-regional analytical framework, it directly maps to US-China foundation model benchmarks and commercialization comparison. Key entities and technical topics under continuous tracking include Claude, Anthropic, 黎曼猜想, 推理模型.
Source attribution: curated from IT之家. Cross-source corroboration: 11 independent sources have covered this development (including 宝玉, 量子位, techcrunch), confirming industry-wide signal strength.
