9 October 2026
OpenAI releases 719 math proofs from an unreleased internal model
First reported
Last Week in AI ran this on .
- OpenAI published 719 math manuscripts produced by an internal model that the public cannot access.
- The manuscripts include formal proofs written in Lean, a language that checks whether a proof is logically valid.
- The same unreleased model also produced a result on Navier-Stokes equations, a famous and difficult problem in fluid physics.
Our read
Only Last Week in AI covered the story, and the Lean proofs and Navier-Stokes result are not in the earlier archive items. The 2026-10-08 story reported the same unreleased model producing 700-plus AI-generated math papers, a day before this 719-manuscript release.
Earlier on this story
Written by Newskeryx from which newsletters covered this story and from our own archive.
How it was covered
Last Week in AIAndrey Kurenkov
Released math manuscripts, Lean formalizations, the Navier-Stokes result, AGMAI recommendations, and criticism of OpenAI's disclosure