著名人工智能研究公司Anthropic近日披露，其旗下尚未公开发布的Claude研究版模型在解决数学界最著名的难题之一——“黎曼猜想”方面取得了实质性进展。在自主运行的多日测试周期中，该模型成功将黎曼Zeta函数临界线上零点比例的已知下限从41.6%提升至67.2%。
据介绍，该研究模型在ClaudeCode环境下独立运行，两期测试累计消耗了3100万输出Token。在最终找到可行解法之前，模型经历并摒弃了650个失败思路，并通过协调60个子智能体（subagent）执行了2400条Shell指令，撰写了数百个Python脚本。Anthropic团队随后邀请其内部数学家LeventAlpöge与RalphFurman对推理结果进行了严格验证，并向BrianConrey、DanGoldston等外部数论学家展示了这一成果。此外，团队成员EricEasley还帮助在Lean定理证明器中完成了该证明的形式化工作。
黎曼猜想由德国数学家波恩哈德·黎曼于1859年提出，已被列入克雷数学研究所设立的“千禧年大奖难题”，悬赏金额高达100万美元。长期以来，通用AI助手难以对此类深层前沿数学难题做出原创性贡献。本次Claude通过融合Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh和Bombieri等多位数学家现有的研究框架，结合Weil诱导的二次型函数空间构造，通过对正定与负定子空间的同时处理及非对角二次型的合理运用，成功实现了这一数学逻辑的突破。
目前，Anthropic已公开发表了带有专家批注的论文、详细的过程日志以及可在Lean中验证的完整证明，但并未提及未来是否会将此类多智能体协作机制与高级推理能力开放给公众使用。
相关文章
头条焦点
精彩导读
关注我们
【查看完整讨论话题】 | 【用户登录】 | 【用户注册】