OpenAIAnalysisScienceOctober 6, 2026

OpenAI releases 722 math manuscripts from internal frontier model

Read original source →openai.com

OpenAI published 722 manuscripts (372 families) of new mathematical results, including 90 of the top 500 open problems per Proof of Atlas, with Lean formalizations on GitHub. The model averaged three hours of compute per solution after being asked to try ~4,000 problems.

How this story unfolded

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

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

More stories today

Open the live feed