OpenAIAnalysisScienceOctober 6, 2026

OpenAI releases 722 math manuscripts from internal frontier model

Read original source →openai.com

OpenAI published results on open math problems, including 90 of the top 500 open problems per Proof of Atlas, organized into 372 families with Lean proof formalizations on GitHub. Zvi Mowshowitz reports a single model averaged three hours of compute per solution after being asked to try ~4,000 problems.

People · Terence Tao

How this story unfolded

2 weeks · 13 reports · 38 community posts · 51 of 61 shown

  1. Oct 6
  2. Oct 7
  3. Oct 8
  4. Oct 9
  5. Oct 10
  6. Oct 11
  7. Oct 12
  8. Oct 13
  9. Oct 19

More stories today

Open the live feed