**OpenAI 发布近 400 项数学成果，数学家称其规模令人‘疯狂’**

_'Pure insanity': Mathematicians react to OpenAI's math results drop_

> OpenAI 近期一次性发布了近 400 项 AI 生成的数学成果，涵盖组合、几何、数论等多个领域，引发数学界强烈震动。尽管部分成果已通过 Lean 形式化验证，但整体验证程度不一，且体量巨大导致学者难以在短期内消化。数学家们表示，仅梳理摘要就耗时巨大，完全理解这些内容可能需要数年，而 OpenAI 的快速迭代更让学术界对未来角色定位感到焦虑。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-10-11 17:07（北京时间）
- **原文**：[打开原文](https://www.theverge.com/ai-artificial-intelligence/1008726/openai-mathematics-solutions-chaos)