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.
Via The Decoder
OpenAI has released a large collection of mathematical results produced by an internal AI model. The proofs are published on GitHub rather than in academic journals, with formal verification intended to make review more practical.
OpenAI has published 372 new mathematical results generated by an internal frontier model. Each result is supposed to solve an open problem or make substantial progress toward one. The collection includes improvements to major computer algorithms and advances related to the Riemann hypothesis.
The company…
Courtesy
This story was originally published by The Decoder. All rights belong to the original publisher.
Read the original on the-decoder.com ↗