OpenAIAnalysisScienceOctober 6, 2026

OpenAI releases 722 math manuscripts from internal frontier model

Read original source →openai.com

OpenAI published results on open math problems produced by an internal frontier model, including 90 of the top 500 open problems per Proof of Atlas, organized into 372 families. The model averaged three hours of compute per solution after being asked to attempt about 4,000 problems, with Lean proof formalizations shared on GitHub.

People · Terence Tao

How this story unfolded

4 days · 11 reports · 39 community posts · 50 of 61 shown

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

More stories today

Open the live feed