# OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

> *机器翻译 (AI-generated content)*

**Published:** 2026年10月7日
**Author:** Matthias Bastian
**Source:** The Decoder
**Language:** zh-CN
**HTML:** https://aiqazaqstan.com/zh/articles/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic

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…

> 内容来自原始来源： **The Decoder**
> [在 The Decoder 阅读全文](https://the-decoder.com/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world-to-keep-up/)

**标签：** #OpenAI

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*