OpenAIAnalysisScienceOctober 6, 2026

OpenAI publishes 722 math papers from internal frontier model

Read original source →openai.com

OpenAI released 722 mathematical manuscripts, including solutions to 90 of the top 500 open problems, at an average budget of three hours of Pro-level compute per question. The release includes Lean proof formalizations and research details on GitHub, with results produced by an unreleased internal model.

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

More stories today

Open the live feed