Model6 sources
5d agoOpenAI Releases 372 AI-Generated Math Proofs
OpenAI published 372 mathematical results on GitHub, featuring Lean formalizations for machine verification. Each proof averaged three hours of compute on ChatGPT Pro. While the data is now public, 25 Fields Medal winners warn that mass-producing truths risks stifling genuine mathematical creativity.
The Signal
Practitioners can now verify these results using formal verification tools.