OpenAI发布719篇AI数学证明 仅10份附推理链

素材来源=无可用官方素材｜事件日=10月9日（距交付5天）｜标题去空格=26字符

OpenAI 于 10 月 6 日在 GitHub 发布 722 份 AI 生成的数学手稿，10 月 7 日因一处符号错误及连锁影响撤回 3 份，现公开目录为 719 份，涉及 372 个结果族及多项开放研究问题。IT之家 10 月 9 日报道称，这批材料发布后被指尚未完全达到“数学与人工智能顾问小组”（AGMAI）提出的标准。相关报道见 IT之家，另有 凤凰科技 转载。

722 到 719：一次符号错误的连锁撤回

OpenAI 最初于 10 月 6 日在 GitHub 披露的总数是 722 份，覆盖 372 个结果族及多项开放研究问题。10 月 7 日，其中 3 份因一处符号错误及其连锁影响被撤回，公开目录随之变为 719 份。目录口径的这次变动本身也说明，这批手稿是按结果族批量放出的，而不是逐份复核后单独上线。

AGMAI 要求披露的五项信息

AGMAI 由普林斯顿高等研究院主持。该小组此前给前沿 AI 实验室提了两类要求：一是停止在专有、外界无法访问的模型上测试高难度数学问题；二是披露模型名称、提示词、推理链、耗时及计算成本。OpenAI 表示发布前曾咨询 AGMAI 并参考其公开建议。

OpenAI 实际交付的三项差距

按已核实的信息，OpenAI 这次的做法与上述要求存在可量化的落差：

• 仍然使用专有模型，未切换到外界可访问的版本；
• 719 份手稿中，只有 10 份附带模型推理链；
• 据报道，发布的证明中约 42% 未经形式化验证。

42% 未形式化验证意味着什么

形式化验证指的是把证明写成机器可逐条检查的形式，跳过这一步，证明的正确性仍然依赖人工审读。约 42% 的比例意味着这部分稿件既没有机器校验，也未必有完整的推理链可供追溯，数学家拿到手稿后需要自己补上从命题到结论的中间步骤。

披露项才是矛盾集中点

从数量上看，719 份手稿覆盖 372 个结果族，AI 批量产出数学证明的产能已经不是问题；真正卡住的是口径——AGMAI 要求的是可复现的测试环境与完整的推理记录，而 OpenAI 交付的是封闭模型的单向输出，推理链覆盖率只有 10/719。这两组数字放在一起，恰好解释了为什么“是否被人类理解”会成为这批手稿发布后的主要争议点。

截至报道发布，AGMAI 的五项披露要求中，模型名称、提示词、推理链、耗时与计算成本这几项在公开目录里并未系统呈现。