张益唐未竟难题被OpenAI攻破！人类联手GPT-6接力两周，证明只剩5页
2026.10.26 · 事件 · AI事件 · 媒体报道
牛津数学家Ben Green用5页证明排除Siegel零点，声明不主张人类原创性。
OpenAI内部模型率先攻破困扰数论界近百年的Siegel零点难题，随后数学家接力，12天内把证明从8页削到5页。牛津数学家Ben Green用反证法给出最终证明，并在论文首页声明不主张任何人类原创性。
- 10月6日OpenAI公开700多篇数学手稿，其中一篇8页论文《一致排除Landau–Siegel零点》率先攻下难题。
- 密苏里大学William Banks把论证铺成19页详尽版，并把原证明中只知道存在的常数算成具体数0.003。
- 新南威尔士大学Bryce Kerr把证明砍到6页，用鸽巢原理替换繁琐的插值和行列式推导，致谢中写明ChatGPT参与。
- 牛津数学家Ben Green最终给出5页证明，走反证法，全程只待在一个更小的数域里，行列式写成显式式子。
- Green今年6月刚拿下欧洲研究理事会高级资助，4个月后约四分之三研究目标被AI攻破。
为什么值得看
AI首次攻破数论世纪难题，人类数学家接力改写，标志数学研究范式转变。
适合谁关注
关注AI for Science、数学研究和前沿模型能力的人。