MB
Matthias Bastian
· 1 min read
BusinessThe Decoder
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
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. But 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life.
Original source
This story was published by The Decoder and written by Matthias Bastian. SyncAI.news shows a preview; the complete article is on the publisher's site.
Read the full story on the-decoder.com
