OpenAI 模型攻破百年 Siegel 零点难题，Green 借 ChatGPT 12 天压成 5 页纸
新智元 · wechat · 2026-10-25
困扰数论界近百年的 Landau–Siegel 零点问题被攻破。10 月 6 日 OpenAI 公开的内部模型产出 700 余篇数学手稿，其中一篇 8 页论文「一致排除 Landau–Siegel 零点」，证明 L 函数不存在紧贴 1 的实数零点——张益唐 2022 年 111 页论文只拿下弱化版本。
随后人类数学家展开接力压页数：密苏里大学 William Banks 5 天后写成 19 页详尽版并把常数算成 0.003；又 4 天后 UNSW 的 Bryce Kerr 用鸽巢原理替换繁琐推导砍到 6 页（致谢写明 ChatGPT 参与）；最终牛津数学家 Ben Green——当年与陶哲轩证明素数等差数列的那位——交出仅 5 页的反证法证明：假设 Siegel 零点存在，素数行列式 detG 同时被「天花板」和不断抬高的「地板」约束，矛盾出现。他在论文首页写下「本文不主张任何人类原创性」，称这是一次与 ChatGPT 的 vibemathing。
Green 自己的研究课题约四分之三被 AI 抢先，他表示反而没了压力；陶哲轩则痛心这些证明无人能讲解、带学生。斯坦福数学家 Lichtman 把这一幕比作班尼斯特破 4 分钟一英里。从 OpenAI 手稿到走进马普数学所课堂，只用了 12 天。
「漫话AGI」频道最新
- CNN 指出 AI 正暴露互联网脆弱性，附用户自保建议 — cnn · 2026-10-26
- Claude 神回复：十年后最该拥有的是自己的 AI，而不是租来的智能 — alex_verem · 2026-10-26
- eigenrobot 质疑 McGilchrist 大脑半球理论：引用启动效应研究遭自嘲 — eigenrobot · 2026-10-26
- ChatGPT 周活 12 亿背后：85% 的人还没用过它，两个互联网同时存在 — tibo_maker · 2026-10-26
- 宏观首现 AI 生产力证据:重度采用行业生产率趋势从 2.2% 升至 5.0% — herbiebradley · 2026-10-26
- 开发者观点:课堂学习应让位于直接上手写 GPU 代码 — dosco · 2026-10-26