张益唐孪生素数猜想，被GPT-6破新纪录! 北大数学07级苏炜杰：很震撼
2026.09.05 · 事件 · AI事件 · 媒体报道
GPT-6将孪生素数间距纪录从246推进到186，一周内三次刷新。
OpenAI宣布GPT-6将孪生素数问题的最好上界推进到186，此前纪录为246（陶哲轩等）→240（Julia Stadlmann）→212（Axiom Math）。GPT-6构建40元素可容许集合，并提交Lean 4形式化验证代码。北大校友苏炜杰称见证新智能时代诞生。
- GPT-6将孪生素数上界推进至186
- 一周内纪录三次被破：246→240→212→186
- GPT-6构建40元素可容许集合
- 开源Lean 4形式化验证代码
- 证明基于三条未在Lean中证明的公理
为什么值得看
AI在基础数论领域实现重大突破，一周内三次刷新人类多年纪录。
适合谁关注
关注AI数学能力、数论研究及AI4Math进展的读者。