**OpenAI 发布 722 篇数学手稿，引发“暴力计算”智能革命**

_The Quiet Math Revolution_

> OpenAI 在 GitHub 发布 722 篇由内部模型生成的数学手稿，涵盖纯数学、理论计算机科学及数学物理，多数结果已通过 Lean 证明助手验证。这些成果源于模型对约 4000 个开放研究问题的处理，平均每个结果消耗 3 小时 ChatGPT Pro 思考时间。文章探讨了这一“数学革命”对航空航天、医疗植入物、核聚能及医学成像等领域的潜在间接影响，并引发了关于暴力计算是否足以构成超级智能的讨论。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-10-14 03:42（北京时间）
- **原文**：[打开原文](https://workflows-of-ai.com/blog/the-quiet-math-revolution)