OpenAIAnalysisScienceOctober 6, 2026

OpenAI releases 722 math manuscripts from internal frontier model

Read original source →openai.com

OpenAI published 722 manuscripts (719 after three withdrawals) organized into 372 families, covering 90 of the top 500 open problems per Proof of Atlas, with Lean proof formalizations on GitHub. Results came from a single model averaging three hours of compute per solution after being asked to attempt about 4,000 problems.

People · Terence Tao

How this story unfolded

3 days · 10 reports · 33 community posts · 43 of 50 shown

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

More stories today

Open the live feed