突发：Claude挑战黎曼猜想「失败」，却意外刷新37年数学纪录
AI（Claude研究版本）受命尝试攻克悬赏百万美元、167年未解的数学难题「黎曼猜想」。在连续尝试650个思路失败后，它组织约60个子代理并行探索，执行大量计算与验证，虽未证明猜想，却意外取得了重要进展：**将黎曼ζ函数中已知位于临界线上的零点比例下界，从41.6%提升至67.2%。** 这一结果将保持了37年的纪录大幅提高了25.6个百分点，被评价为解析数论领域的重大突破。
Claude的突破建立在数学家Montgomery、Bombieri等人工作的基础上，通过构造新的函数空间和分析框架得出。整个探索过程消耗约3100万输出token，历时约一天半，期间编写了数百个脚本并进行了数千次数值检验。结果随后由Anthropic内部数学家及外部专家审阅，并完成了机器可验证的形式化证明。
Anthropic强调，该方法预计无法直接证明黎曼猜想，但显示了前沿AI模型开始具备探索无现成答案的真正研究问题的潜力。
marsbit30 分鐘前
