**UT Austin数学系主任质疑OpenAI批量发布400个AI证明的价值**

_UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs_

> OpenAI计划公开约400个AI生成的数学证明，但UT Austin数学系主任Francesco Maggi指出，在专家尚未完全理解Navier-Stokes方程相关案例的情况下，大量发布证明可能因人类吸收能力有限而难以产生实质数学价值。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：行业
- **发布时间**：2026-10-07 02:46（北京时间）
- **原文**：[打开原文](https://twitter.com/Frances01896069/status/2107171555973185577)