Developing story · 2 episodes · 11 Sept to 15 Sept
OpenAI's Unexpected Mathematical Mastery
OpenAI has triggered a mathematical revolution by having its GPT-6 model solve complex problems, including a $15M Navier-Stokes proof. The saga concludes with the model topping the ErdosBench benchmark, proving its unexpected dominance in pure mathematics despite no specific training focus.
-
OpenAI’s $15M Navier‑Stokes Proof Sparks AI‑Driven Math Revolution
OpenAI spent roughly $15 million of compute to produce a 166‑page solution to the Navier‑Stokes Millennium Problem, a feat verified in Lean. The claim, made by an unnamed OpenAI model, sparked a…
1 source -
OpenAI's GPT-6 Astra tops ErdosBench math benchmark despite no math focus
OpenAI unveiled GPT‑6 Astra, which claimed the top spot on the ErdosBench suite of 226 open mathematics problems. The model solved 106 problems, fully resolving 43 and disproving 27, earning a 3.23…
4 sources
Who and what
OpenAIAnthropicCaltechNYUCodexGPT-6 AstraTristan BuckmasterScott AaronsonLevent AlpögeSebastian BubeckSabee GrewalDorian Rudolph