10 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.
