OpenAIAnalysisScienceOctober 6, 2026

OpenAI publishes 722 math manuscripts from unreleased model

Read original source →openai.com

The 722 manuscripts span 372 result families, drawn from roughly 4,000 problems, at an average of about three hours of ChatGPT Pro thinking compute per result. Only 162 papers carry a Lean-formalized main result, and MIT's Andrew Sutherland calls the one-prompt, single-agent claim unverified until the model is released.

People · Andrew Sutherland

How this story unfolded

1 day · 5 reports · 9 community posts · 14 of 19 shown

  1. Oct 6
  2. Oct 7

More stories today

Open the live feed