OpenAIAnalysisScienceOctober 6, 2026

OpenAI publishes 722 math papers from internal frontier model

Read original source →openai.com

OpenAI released 372 to 722 results, including solutions to 90 of the top 500 open math problems, at an average budget of three hours of Pro-level compute per question. A Lean-certified proof of the Unique Games Conjecture was among them, though no human has yet understood most of the proofs.

People · Terence Tao

How this story unfolded

3 days · 9 reports · 29 community posts · 38 of 48 shown

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

More stories today

Open the live feed