“纯粹的疯狂”：数学家需要数年才能理解 OpenAI 的最新发布

英文原标题：‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop

本文为英文原文的机器翻译摘要，原文见：The Verge AI ↗

• OpenAI本周突然发布近400个AI生成的数学结果，分布在700多份手稿中，涵盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率、统计力学和数学物理等多个领域。
• 超过三打数学家向The Verge表示，仅理解这些发布的内容就可能需要数年，更不用说定位自己在变化领域中的位置。许多人担心OpenAI不会等待那么久就继续推进或发布更多。
• 部分手稿包含Lean形式化验证，但OpenAI承认结果处于不同验证阶段，仅300个顶级结果（约42%）被形式化。数学家抱怨形式化不足，且即使有Lean代码，评估也非即时，质量参差不齐。
• 数学家担心AI生成的“slop”（低质量、错误内容）泛滥，此前OpenAI的数学写作因草率、归因差而受批评。此次早期迹象显示OpenAI更用心，但更好不一定意味着好，许多论文难以理解。
• 一些论文被指覆盖他人已涉足的领域，且异常简短，通常需要数百页的结果被压缩到几十页。OpenAI缺乏足够专业知识和资源来适当审查其发现。

关键数据

• 近400个AI生成的数学结果
• 超过700份手稿
• 719份手稿中仅300个顶级结果被形式化，约42%
• 约40页的目录和摘要

引语

• “纯粹疯狂”
• “令人震惊”
• “压倒性”
• “前所未有”
• “超现实”
• “仅仅浏览整个摘要列表就让人不堪重负”
• “如果AI现在消失，就像外星人来到地球然后离开，我们将在未来10年研究这个，试图理解一切。”

为什么值得看：OpenAI大规模发布AI生成的数学结果，引发数学家对验证、质量和学术文化影响的深切担忧，可能重塑数学研究生态。