2026年8月11日,Anthropic宣布其未公开研究版Claude在黎曼猜想研究中取得进展:将ζ函数临界线上零点比例下界从41.6%提升至67.2%。该成果由模型自主完成,耗时数天,生成3100万Token,执行2400条Shell命令并编写数百Python脚本。经内部数学家及外部专家验证,并形式化为Lean可验证证明。此举未完全解决黎曼猜想,但显著推进了零点分布理论边界。
免责声明:本文内容由开放的智能模型自动生成,仅供参考。
2026年8月11日,Anthropic宣布其未公开研究版Claude在黎曼猜想研究中取得进展:将ζ函数临界线上零点比例下界从41.6%提升至67.2%。该成果由模型自主完成,耗时数天,生成3100万Token,执行2400条Shell命令并编写数百Python脚本。经内部数学家及外部专家验证,并形式化为Lean可验证证明。此举未完全解决黎曼猜想,但显著推进了零点分布理论边界。
免责声明:本文内容由开放的智能模型自动生成,仅供参考。
下一篇:三星在韩开设折叠屏手机永久展览