{"slug": "openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world", "title": "OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up", "summary": "OpenAI published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification, with each result consuming about three hours of ChatGPT Pro compute on average. The release drew a warning from 25 Fields Medal winners that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life.", "body_md": "# OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up\n\nBy Matthias BastianSource: \n\n[The Decoder](https://the-decoder.com)\n [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.\n\nThe 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).\n\nGet AI news in your inbox\n\nDaily digest of what matters in AI.", "url": "https://wpnews.pro/news/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world", "canonical_source": "https://www.machinebrief.com/news/openai-dumps-372-ai-generated-math-proofs-on-github-telling-qels", "published_at": "2026-10-07 08:54:43+00:00", "updated_at": "2026-10-07 10:19:05.311417+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "large-language-models", "generative-ai"], "entities": ["OpenAI", "GitHub", "ChatGPT Pro", "Lean", "Fields Medal"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world", "markdown": "https://wpnews.pro/news/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world.md", "text": "https://wpnews.pro/news/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world.txt", "jsonld": "https://wpnews.pro/news/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world.jsonld"}}