物界前沿物界前沿 · 资讯情报卡（Hacker News · 2026/10/7）
UT数学系主任质疑OpenAI将发布400个AI证明
核心事实
- 得州大学奥斯汀分校数学系主任称OpenAI将公开约400个AI生成的证明。
- 该主任表示，专家仍在研究此前强制生成的纳维-斯托克斯方程示例。
- 他指出数学进步依赖理解、联系与复用，而非仅累积正确命题。
- 他质疑一次性发布数百个证明的数学价值，并担忧无人有精力阅读。
- 他认为AI生成数学的速度可能远超数学家吸收的速度。
关键数据
400个AI生成证明数量
物界观察
批量发布AI证明更像算力秀而非学术贡献。数学的消化速度由人类注意力决定，若缺少配套解释与验证工具，这些证明只会沦为无人问津的档案。真正值得关注的是，OpenAI是否在倒逼数学界建立AI辅助审稿的新范式。