GitHub3 min read
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average.
By Matthias BastianThe Decoder
Read the full story
Originally published by The Decoder on Oct 7, 2026.
Comments
Sign in to join the discussion.