AI推动数学研究迈出关键一步

8月10日这天，Anthropic 发布了一则简短的动态，讲述了一件颇为罕见的事情：一款尚未正式对外公开的研究型 Claude，将黎曼 zeta 函数零点的已知下界，从 41.6% 提升到了 67.2%。这一成果并非为了刷榜或者跑分，而是被正式写入论文之中，经过人类数学家逐行仔细审核，同时借助 Lean 形式化验证工具完成了完整的检验流程。提出这一挑战的是 Anthropic 公司员工 Jarred Sumner，他本人并非数学科班出身。最初，他给模型下达的指令大致意思是：认真尝试一下黎曼猜想。图注：一句