GPT-6 Astra
Benefit
+1.05
Harm
0.00
Net Good
1.05
Verified benefit
0.00
History
Cumulative score
Domains
Release
Status released. First dated 30 Aug 2026.
Event timeline
OpenAI claims a forced Navier–Stokes singularity from an unreleased system
On 8 September 2026 OpenAI published a 166-page writeup and Lean formalization arguing that smooth, finite-energy 3D Navier–Stokes dynamics with a smooth external force can blow up in finite time, which it says settles Clay statements C and D. The search model was an unreleased internal system; GPT-6 Astra did the Lean step.
Buckmaster and Alpöge, using Sol and Claude, prove smooth-forced blowup for Euler, IPM, and Boussinesq
On 8–11 September 2026 Tristan Buckmaster and Levent Alpöge released Lean-backed finite-time blowup results with smooth forcing for incompressible porous media, 2D Boussinesq, and 3D Euler, crediting Anthropic’s Claude and especially OpenAI’s GPT-5.6 Sol. Astra was used only for writeups and auditing.
GPT-6 Astra improves short and large prime-gap bounds
On 3 September 2026 OpenAI released GPT-6 Astra with two analytic number-theory results: a proof that infinitely many consecutive primes differ by at most 186, and an improvement to a large-gap bound that had been stuck for more than 80 years.
Pre-release GPT-6 Astra solves five Bloom-curated Erdős problems in Lean
On 1 September 2026 Epoch AI reported that a pre-release GPT-6 Astra system was the only model to score on FrontierMath Erdős, a Lean benchmark of 68 significant unsolved Erdős problems. It solved problems 74 and 126 under the official $300 protocol, and problems 1, 548, and 571 in extra attempts.