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

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.

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.