Claude未公开版本将黎曼猜想零点比例下界提升至67.2%,展现AI数学研究潜力
talkingdev • 2026-08-11
4593 views
Anthropic公司研发的AI模型Claude在一个尚未正式发布的版本中,于黎曼猜想相关的核心问题上取得了令人瞩目的进展。黎曼猜想作为数学界最负盛名的未解难题之一,其核心在于黎曼zeta函数非平凡零点的分布规律,与素数的分布密切相关。此次研究团队通过Claude模型,将满足黎曼假设的零点比例下界从原有的41.6%大幅提升至67.2%,这一跨越式的改进直接推动了该领域的边界。Claude并非简单地进行暴力计算,而是展示了一种接近数学直觉的方法:它基于前期研究中的洞察,尝试了多达650种不同的思路,并协调多个子代理并行开展数值检验,还能够自我验证并重新证明其发现。最终这一成果得到了两位专业数学家的复核以及形式化验证工具的确认,确保了结果的严谨性。这项工作不仅为黎曼猜想的探索提供了新的数值证据,更重要的是揭示了AI在纯数学前沿研究中能够扮演的创造性角色,预示着人机协作解决世纪难题的崭新范式。
核心要点
- Claude未发布版本将黎曼zeta函数零点满足猜想的比例下界从41.6%提高至67.2%
- 模型通过尝试650种思路、协调多个子代理进行数值校验和自我证明完成发现
- 结果经数学家和形式化验证双重确认,凸显AI在纯数学研究中的意外潜力