❯ 数学家接力简化 AI 的 Siegel 零点证明，Green 明确披露论证来源

人机接力的进展OpenAI 公开的 Landau—Siegel 零点论证，已获得多位数学家的跟进改写。Ben Green 发布的第二版预印本明确说明：数学论证来自作者以不同方式提示的 ChatGPT，文字由人类撰写。该版本进一步拆分两个参数，以改善主定理中的常数。

难题是什么Siegel 零点指一类可能极其接近 1 的特殊实零点，它们长期妨碍研究者对素数分布给出更有效的估计。陶哲轩 10 月 19 日的讲解文章将原始短论文记为九页，并梳理了 William Banks、Bryce Kerr 与 Green 的简化工作。他重点解释了 Green 使用多项式与格点方法的论证路线。

从思路到可检查证明相关反证思路把“零点过于接近 1”带来的算术性质，转化为对同一个非零整数互不相容的约束。Banks 的后续论文进一步给出显式常数。这个案例展示了 AI 提出论证、人类检查并改写、再改善参数的协作过程；目前公开记录包括预印本和专家讲解。

▮ SIGNALAI 数学的价值正在经过人类重写、参数改进与公开检查，转化为可以继续使用的研究成果。