OpenAIAnalysisScienceOctober 6, 2026

OpenAI publishes 372 math results from internal frontier model

Read original source →openai.com

OpenAI released hundreds of new mathematical results produced by an unreleased internal frontier model, including a proof of Subhash Khot's Unique Games Conjecture, with Lean formalizations on GitHub. Scott Aaronson reports 372 results; Zvi Mowshowitz cites solutions to 90 of the top 500 open problems at ~3 hours of Pro-level compute each.

People · Terence Tao

How this story unfolded

3 days · 10 reports · 29 community posts · 39 of 48 shown

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

More stories today

Open the live feed