← Back to live feed1 story
1
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
the-decoder.comOpenAI has 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. However, 25 Fields Medal winners have warned that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life.
Content history (1)
- 2026-10-07 · Summary · vi · Wording fixOpenAI vừa công bố 372 kết quả toán học do AI tạo ra trên GitHub, bao gồm các bản hình th…OpenAI vừa công bố 372 kết quả toán học do AI tạo ra trên GitHub, bao gồm các bản hình th…
Sign in to suggest edits
Key sources
- SOURCEthe-decoder.com