NetGoodIndexSubmit a correction

Organization score is the sum of its models

OpenAI

Benefit

+17.77

Harm

−0.21

Net Good

17.56

Timeline

Models

RankModelOrganizationBenefitHarmNetEventsLast impact
1ChatGPT

GPT

OpenAI+2.68−0.212.47222 Jun 2023
2OpenAI Codex

Codex

OpenAI+2.450.002.45121 Jun 2022
3OpenAI Internal Research System — 2026-05

GPT-6 · internal / unreleased

OpenAI+2.100.002.10120 May 2026
4OpenAI Internal Research System — 2026-09

GPT-6 · internal / unreleased

OpenAI+2.000.002.0028 Sep 2026
5GPT-5.6 Sol

GPT-5.6

OpenAI+1.480.001.4848 Sep 2026
6GPT-6 Astra (internal, 2026-08)

GPT-6 · internal / unreleased

OpenAI+1.420.001.4211 Aug 2026
7codex-1

Codex

OpenAI+1.110.001.11116 May 2025
8GPT-6 Astra

GPT-6

OpenAI+1.050.001.0548 Sep 2026
9GPT-5 Pro

GPT

OpenAI+0.910.000.91124 Oct 2025
10OpenAI Internal Research Model — 2025-07

OpenAI reasoning models · internal / unreleased

OpenAI+0.740.000.74121 Jul 2025
11GPT-5.6

GPT-5.6 · version unspecified

OpenAI+0.660.000.66131 Aug 2026
12GPT-5.6 Pro

GPT-5.6

OpenAI+0.480.000.48230 Jul 2026
13GPT-4

GPT

OpenAI+0.400.000.4028 May 2024
14GPT-5

GPT

OpenAI+0.280.000.28120 Nov 2025

Domains

Mathematics11.13
Computer Science6.46
Chemistry0.40

Events

Benefit8 Sep 2026

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.

MathematicsprovisionalTier 3 Major+1.13
Benefit8 Sep 2026

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.

MathematicsdisputedTier 3 Major+1.13
Benefit5 Sep 2026

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.

MathematicsprovisionalTier 3 Major+0.99
Benefit3 Sep 2026

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.

MathematicsprovisionalTier 2 Notable+0.42
Benefit1 Sep 2026

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.

MathematicsprovisionalTier 2 Notable+0.46
Benefit31 Aug 2026

Freitag and Mutchnik, using ChatGPT 5.6, counterexample the stable forking conjecture

On 31 August 2026 James Freitag and Scott Mutchnik posted arXiv:2609.00436, a counterexample to the 1996 Hart–Kim–Pillay stable forking conjecture, found using ChatGPT 5.6.

MathematicsprovisionalTier 3 Major+0.66
All events