数学家对 OpenAI 大量生成数学手稿感到震惊与不满

OpenAI 发布了 700 多篇由 AI 生成、声称解决未解数学问题的手稿。一个数学博客随后收集了 100 多位研究者的回应，反应从对新想法的兴趣，到对原有工作方式消失的担忧与哀悼不等。菲尔兹奖得主 Hugo Duminil-Copin 表示“我瘫痪了”。

此前 AI 在数学领域多以辅助工具出现，而这次是批量产出声称解决未解问题的稿件，触及数学研究的问题选择、验证与发表流程，引发研究者对自身工作方式和学科价值被改变的集体反应。

大模型可大量生成结构完整、看似严谨的数学文稿，降低了产出数量门槛；但数学结论依赖同行严格验证，数量激增会把压力转移到人工审阅与判断环节，形成产出与验证能力的失衡。

对研发与产品团队而言，AI 生成内容的批量化会推高审阅、复核和筛选成本；需要为高专业度领域设计验证、溯源和分级机制，避免把未经证实的结论直接交付用户。

• 为数学等专业领域构建 AI 生成稿件的自动验证与形式化检查工具，标注未验证结论。
• 开发面向研究者的 AI 产出筛选与去重产品，按可信度和可验证性排序。
• 建立机构内部的 AI 生成研究稿件披露与审阅流程规范模板。
• 提供数学证明可复现性评估服务，连接形式化证明工具与人工评审。

• 这 700 多篇手稿中是否已有结论被独立验证为正确？
• OpenAI 发布这些手稿的动机与筛选标准是什么？
• 数学博客收集的 100 多份回应是否代表更广泛研究者群体？
• Hugo Duminil-Copin 的“我瘫痪了”具体指向哪些影响？