AnalysisScienceOctober 9, 2026

OpenAI publishes 719 math manuscripts from unreleased model

Read original source →lastweekin.ai

OpenAI posted 719 manuscripts covering 372 topic families on October 6, 2026, produced by an internal frontier model that has not been released publicly, with Lean formalizations for many proofs. The same model produced OpenAI's earlier Navier-Stokes result, one of the Clay Mathematics Institute's seven Millennium Prize Problems.

1 source

More stories today

Open the live feed