GPT-6
A family is a named generation or product line. Scores below are the sum of its named releases and any documented internal systems in the same line.
Benefit
+6.57
Harm
0.00
Net Good
6.57
Releases
- OpenAI Internal Research System — 2026-05Internal / unreleased
- GPT-6 Astra (internal, 2026-08)Internal / unreleased
- OpenAI Internal Research System — 2026-09Internal / unreleased
Leaderboard
| Rank | Model | Organization | Benefit | Harm | Net | Events | Last impact |
|---|---|---|---|---|---|---|---|
| 15 | OpenAI Internal Research System — 2026-05 GPT-6 · internal / unreleased | OpenAI | +2.10 | 0.00 | 2.10 | 1 | 20 May 2026 |
| 18 | OpenAI Internal Research System — 2026-09 GPT-6 · internal / unreleased | OpenAI | +2.00 | 0.00 | 2.00 | 2 | 8 Sep 2026 |
| 29 | GPT-6 Astra (internal, 2026-08) GPT-6 · internal / unreleased | OpenAI | +1.42 | 0.00 | 1.42 | 1 | 1 Aug 2026 |
| 35 | GPT-6 Astra | OpenAI | +1.05 | 0.00 | 1.05 | 4 | 8 Sep 2026 |
Timeline
Events
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.
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.
An unreleased OpenAI system produces an unforced 3D Euler blowup
While probing Millennium problems in early September 2026, OpenAI says a multi-agent run of an internal model more capable than GPT-6 Astra produced a finite-time singularity for unforced 3D incompressible Euler in about 50 hours.
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.
An internal Astra system posts ten Lean-certified advances across math and TCS
On 1 August 2026 OpenAI released a paper and Lean repo of ten results from an internal version of Astra, spanning sphere packing, codes, non-sofic groups, Connes rigidity, circuit lower bounds, quantum parallel repetition, CVP hardness, Ehrhart volume, and Erdős problems 183, 146, and 180.
An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture
On 20 May 2026 OpenAI reported that an internal reasoning model produced an infinite family of planar point sets with n^{1+δ} unit distances for some δ>0, disproving Erdős’s n^{1+o(1)} conjecture. External mathematicians checked the argument and later made the exponent explicit.