OpenAIEventScienceOctober 6, 2026

OpenAI publishes 722 math papers from internal frontier model

Read original source →openai.com

OpenAI released 722 mathematical manuscripts solving 90 of the top 500 open problems, at an average budget of three hours of Pro-level compute per question. Results include a claimed proof of the Unique Games Conjecture, with Lean formalizations on GitHub; no human has yet understood most of the proofs.

People · Terence Tao

How this story unfolded

3 days · 9 reports · 30 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