OpenAI 联手数学家攻破零点猜想 证明仅 5 页

困扰数论界近百年的 Siegel 零点难题，近期被 AI 率先突破，随后数学家们带着 AI 接力优化证明，仅用 12 天就将最初 8 页的证明版本逐步精简到 5 页。2007 年、2022 年，张益唐两次发论文冲击这个问题，最后那篇写了 111 页，拿下的也只是一个弱化版本。牛津数学家 Ben Green 和 AI 协作完成了这一 5 页版本的证明，还在论文首页声明不主张任何人类原创性。该证明采用反证法，通过假设 Siegel 零点存在推导出矛盾，最终证实 Siegel 零点并不存在，扫清了经典解析数论领域长期存在的一大障碍。这一过程中多位数学家参与接力，不断优化证明、明确相关参数、简化推导步骤，AI 深度参与了各阶段的推导与写作，标志着数学研究进入了 AI 与人类协作攻坚的新阶段。