Anthropic 今天宣布,一个未公开的研究版 Claude 在尝试证明黎曼猜想的过程中,虽然没能证明猜想本身,却在一个相关问题上取得了重大突破: 它把黎曼 ζ 函数的...
Anthropic研究版Claude在黎曼猜想相关问题上取得重大突破,将零点比例从41.7%提升至67.2%,创下该问题历史上最大单步提升。
黎曼猜想是数学界最著名的未解难题之一,其零点比例问题在过去80年进展缓慢,2020年仅达41.7%。Anthropic的Claude模型通过协调约60个子智能体,运行2400条命令,将零点比例提升至67.2%,创下该问题历史上最大单步提升。Claude还使用Lean形式化证明语言写出可机器验证的证明。这一成果展示了AI在原创数学研究上的能力,对开发者意味着AI可辅助甚至主导前沿数学探索。 核心观点: 1. Claude将零点比例从41.7%提升至67.2%,单步提升26个百分点,超越过去50年进展。 2. Claude协调约60个子智能体,运行2400条命令,写数百Python脚本,实现分工协作。 3. Claude用Lean形式化证明语言写出可机器验证的证明,增强结果可信度。
推荐理由常规资讯,保留列表