OpenAIAnalysisScienceOctober 6, 2026

OpenAI publishes 719 math manuscripts from unreleased frontier model

Read original source →openai.com

OpenAI released 719 manuscripts covering 372 topic families on October 6, 2026, with Lean formalizations for many proofs, produced by an internal frontier model not publicly released. The same model produced the earlier Navier-Stokes result; research lead Dan Roberts called the proofs a byproduct of testing internal models.

People · Dan Roberts, Terence Tao

How this story unfolded

4 weeks · 10 reports · 32 community posts · 42 of 51 shown

  1. Sep 9
  2. Oct 6
  3. Oct 7
  4. Oct 8
  5. Oct 9

More stories today

Open the live feed