众力资讯网

Anthropic的未公开发布研究版Claude挑战人类数学“天花板”,一夜之间

Anthropic的未公开发布研究版Claude挑战人类数学“天花板”,一夜之间把人类数学家37年才推进0.8个百分点的纪录直接拉升25.6个百分点。

Anthropic宣布,其未公开发布的研究版Claude在尝试冲击黎曼假设(Riemann Hypothesis)的过程中,意外取得重大相关进展:将黎曼ζ函数零非平凡零点落在临界线(critical line)上的可证明下界比例,从此前人类最好成绩41.6%大幅提升至67.2%。这一结果经过Anthropic内部数学家验证、Claude自身生成的Lean形式化证明,以及外部专家Brian Conrey和Dan Goldston的审阅。

Claude通过约60个sub-agent协作、消耗3100万输出token、运行2400条shell命令和大量数值验证,最终通过巧妙结合近年Baluyot等人的结果与Bombieri 2000年关于Weil二次型的工作实现突破。Anthropic明确表示,该方法不太可能直接通向完整黎曼假设证明。

与此同时,Anthropic宣布Claude Sonnet 5的入门定价($2/百万input tokens、$10/百万output tokens)正式永久化,此前该价格原计划仅优惠至8月31日。