OpenAI publishes 722 machine-written maths manuscripts [Oct 7 2026]
OpenAI published a catalogue of 722 mathematical manuscripts, organised into 372 families, produced by what it calls "an unreleased internal OpenAI model". The repository README says the model was posed approximately 4,000 problems and that each result used, on average, three hours of ChatGPT Pro thinking compute. OpenAI says the collection "includes results at different stages of verification", that "Not all have accompanying Lean formalizations", and that "Some of the unformalized results could have issues". The materials are released under Apache-2.0. Anthropic folded Project Glasswing and…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.