GPT-6 Astra突破素数间隔纪录：上界从246推进至186，完成Lean验证
2026.09.04 · 事件 · 数学突破 · 媒体报道
GPT-6 Astra将素数间隔上界推进至186，完成Lean验证。
OpenAI发布GPT-6 Astra，其研究成果将有界素数间隔上界从246推进至186，并完成Lean形式化验证。该成果由北大数院07级校友、OpenAI研究员苏炜杰宣布，论文摘要称证明由GPT-6 Astra给出。同时，Axiom和Anthropic也分别宣布将上界推进至212和188，显示大模型在数学研究领域的竞争加剧。
- GPT-6 Astra将素数间隔上界推进至186
- 完成Lean形式化验证，开源Lean 4项目
- 苏炜杰宣布成果并附论文
- Axiom和Anthropic分别推进至212和188
- AI从解决数学问题走向参与数学研究
为什么值得看
展示AI在数学研究中的突破性能力，引发对AI参与度的重新审视。
适合谁关注
OpenAI、苏炜杰、Axiom、Anthropic