# OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up > Source: > Published: 2026-10-07 08:54:43+00:00 # OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up By Matthias BastianSource: [The Decoder](https://the-decoder.com) [OpenAI](https://www.machinebrief.com/glossary/openai) has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of [ChatGPT](https://www.machinebrief.com/compare/chatgpt-vs-claude) Pro [compute](https://www.machinebrief.com/glossary/compute) on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life. The article [OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up](https://the-decoder.com/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world-to-keep-up/) appeared first on [The Decoder](https://the-decoder.com). Get AI news in your inbox Daily digest of what matters in AI.