News · Research

OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

NewResearchjust nowThe Decoder

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.