2026年8月11日,Anthropic宣布其未公开研究版Claude在黎曼猜想研究中取得进展: 将ζ函数临界线上零点比例下界从41.6%提升至67.2%。该成果由模型自主完成,耗时数天,生成3100万Token,执行2400条Shell命令并编写数百Python脚本。经内部数学家及外部专家验证,并形式化为Lean可验证证明。此举未完全解决黎...