**陶哲轩质疑 OpenAI 719 篇 AI 数学证明：人类真的理解了吗？**

_陶哲轩质疑 OpenAI 公司：719 篇 AI 数学证明，人类真的理解了吗？_

> OpenAI 近期发布 719 份 AI 生成的数学解答，涵盖 372 个结果族，但被指未完全达到“数学与人工智能顾问小组”（AGMAI）关于透明度、形式化验证及人类可理解性的标准。菲尔兹奖得主陶哲轩对此提出强烈质疑，他虽支持 AI 辅助研究，但反对将“快速攻克著名难题”作为主要目标。陶哲轩指出，这种“证明消化不良”现象破坏了数学共同体的理解、教学与合作机制，且将开放问题视为可批量消耗的资源，会污染探索过程并损害数学领域的长期发展。

**来源信息**
- **来源**：IT之家（RSS）
- **分类**：行业
- **发布时间**：2026-10-09 09:40（北京时间）
- **原文**：[打开原文](https://www.ithome.com/1/010/795.htm)