今日,人工智能研究公司Anthropic宣布,其尚未公开的研究版AI模型Claude在解决数学界著名的黎曼猜想问题上取得了重大进展。在一次自主完成的数天测试中,Claude将黎曼ζ函数临界线上零点比例的长期下界从41.6%提高至67.2%。这一成果是在ClaudeCode中实现的,模型在两次测试中共生成了3,100万个输出Token,并在650次失败尝试后,调集60个子级智能体继续推进研究,累计执行2,400条Shell命令,并编写了数百个Python脚本。
Anthropic的这一突破性进展得到了内部数学家莱文特·阿尔波格和拉尔夫·弗曼的验证,并且交由外部数论专家布赖恩·康雷和丹·戈德斯顿审阅。员工埃里克·伊斯利还协助将证明写成可由Lean验证的形式。Claude此次的研究结合了多位数学家的既有研究框架,构造了一个合适的函数空间,并在其中引入由韦伊诱导的二次型,利用一阶矩和二阶矩信息,直接建立了二次型秩的不等式。Anthropic还公布了Claude撰写的论文,以及可以通过Lean正式验证的证明,但未透露是否会在近期向公众开放上述多智能体能力。
