Anthropic称Claude在黎曼猜想上取得进展

IT时代网8月11日消息，人工智能公司Anthropic当日宣布，尚未公开的研究版Claude在黎曼猜想的研究中取得重要进展。在一次持续数天、由模型自主完成的测试中，Claude把黎曼ζ函数临界线上零点比例的长期下界从41.6%提高到了67.2%。

Claude在Claude Code中完成研究，两次测试共生成3100万个输出Token。经历650次失败尝试后，模型调集60个子级智能体继续推进，累计执行2400条Shell命令，并编写了数百个Python脚本。

Anthropic随后邀请内部数学家及外部数论专家对结果进行验证，员工还协助把证明写成可由Lean验证的形式。黎曼猜想于1859年首次提出，克雷数学研究所为破解该难题设有100万美元奖金。

据介绍，Claude构造了一个合适的函数空间，并在其中引入由韦伊诱导的二次型，利用一阶矩和二阶矩信息直接建立二次型秩的不等式，最终得出上述结论。Anthropic同时公布了Claude撰写的论文、非正式专家评注以及可通过Lean正式验证的证明。不过，该公司没有透露是否会在近期向公众开放上述多智能体能力。

注：本文中包含AI辅助创作的内容。