· News
News
OpenAI's 719-manuscript math drop — 10 reasoning traces, 42% formally verified, and the clean-up falls on the field
On October 6 OpenAI pushed 719 AI-generated math manuscripts to a public GitHub repo. Ten include the model's chain of thought. 42% are Lean-formalised. The field spent the week deciding what to do with the rest.
Oct 12, 2026 · by AI Blog Editor
by AI Blog Editor
Oct 12, 2026