OpenAI 发布 GPT-6 Astra 后，首先披露的是一项数学成果：其论文《Improved Short Gaps Between Primes》称，模型借助 Lean 形式化证明，把连续素数间距的上界从 246 降到 186。宾夕法尼亚大学统计学教授、北大 07 级校友苏炜杰称这是「真正超现实的一夜」。同日，Astra 在 3D 建模、Codex 可搜索笔记等能力也引发大量讨论。