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 lacking Lean proofs) across 372 families, including 90 of the top 500 open problems per Proof of Atlas. Results came from a single model averaging three hours of compute per solution after being asked to try ~4,000 problems.

How this story unfolded

3 weeks · 13 reports · 46 community posts · 59 of 71 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 16
  10. Oct 19
  11. Oct 27

More stories today

Open the live feed