**OpenAI 在 GitHub 发布 372 个 AI 生成数学证明，引发菲尔兹奖得主担忧**

_OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up_

> OpenAI 在 GitHub 公开了 372 个由 AI 生成的数学结果及 Lean 形式化验证代码，平均每个结果消耗约 3 小时的 ChatGPT Pro 算力。此举旨在推动学术界的跟进，但 25 位菲尔兹奖得主警告称，批量生产数学真理可能会破坏创新土壤，而非带来新思想。

**来源信息**
- **来源**：The Decoder：AI News（RSS）
- **分类**：ai-models
- **发布时间**：2026-10-07 16:54（北京时间）
- **原文**：[打开原文](https://the-decoder.com/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world-to-keep-up)