OpenAIAnalysisScienceOctober 6, 2026

OpenAI releases 722 math manuscripts from internal frontier model

Read original source →openai.com

OpenAI published results on 90 of the top 500 open math problems, organized into 372 families, with Lean proof formalizations on GitHub. The single model averaged three hours of compute per solution after being asked to attempt about 4,000 problems.

People · Terence Tao

How this story unfolded

4 days · 11 reports · 40 community posts · 51 of 63 shown

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

More stories today

Open the live feed