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. However, 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile ground rather than foster new ideas. These results mark a significant step in mathematics, showcasing the use of AI in knowledge production. Yet, the warnings from academics suggest that over-reliance on these results may diminish creativity and innovation in the field. Researchers must balance the use of these new tools with maintaining critical thinking.