OpenAI发布722份数学手稿引发验证与可信度的全面反思

OpenAI发布中最引人注目的数字是722份手稿和372个结果家族，但对于任何试图评估这些主张的人来说，更关键的数字是63% ^[1]。这是带有Lean形式化的内容占比——一种机器可验证的证明骨架，旨在确认逻辑步骤无矛盾地编译。其余家族完全没有此类支撑结构，而OpenAI自己的清单将整个集合的状态标记为“部分进展”且“未经审查”，这一坦白令人震惊，尤其当该发布被包装为突破性成果时 ^[1]。

即使存在Lean形式化，它回答的问题也比大多数报道暗示的要窄。Lean检查只能确认给定前提能否通过有效逻辑步骤推导出结论；它无法判断前提是否正确设定、结果是否真正新颖，或是否实质解决了其所声称的开放问题 ^[2]。此外，OpenAI仅披露了部分计算信息——每项结果平均约三小时的ChatGPT Pro“思考”时间——却隐瞒了总成本、token数量、加速器使用时长、模型本身、其权重以及所用提示词 ^[1]。没有这些信息，独立数学家无法复现生成过程，只能审计其产出的静态文档。最终结果是一个表面详尽记录、但按公司自身说法仅部分验证的集合。

这次发布并非发生在真空中。2026年9月11日，25位菲尔兹奖得主签署联名信，宣称AI公司与数学界的“目标严重错位”，警告存在对智力工作的‘普遍威胁’，并提出所谓‘严重的归属权与剽窃问题’，源于仓促且未署名的解决方案 ^[3]。签署者之一陶哲轩对此机制的危害尤为直言不讳：他警告称，驱动AI实验室的经济激励使数学易受古德哈特法则影响，即解决问题本身成为公司优化的目标指标，而非真正理解的代理 ^[4]。

OpenAI对此压力的回应是制度性的而非技术性的。2026年9月21日，该公司支持成立了数学与人工智能咨询小组（AGMAI），这是一个由九人组成的专家组——包括爱德华·威滕和蒂莫西·高尔斯等资深人物——设在高等研究院，明确独立于任何AI公司，负责就意义评估和负责任发布提供建议 ^[5]。陶哲轩在发布前持续公开参与，于9月30日发布了关于AGMAI一般建议及西蒙斯研究所关于AI对理论计算机科学近期影响报告的帖子 ^[6]。这一安排读起来像是一种对冲：一家大型AI实验室邀请最具公信力的批评者担任评审，同时继续以任何评审机构都无法合理验证的速度推出成果。

或许此次发布节奏最尖锐的后果根本与OpenAI的输出无关——而是人类数学家因传闻而被迫采取的行动。9月，在传言OpenAI可能宣布AI生成的唯一博弈猜想证明后，麻省理工学院的多尔·明泽及其研究生费宇谋和王硕迅速推出了一篇95页的手稿，研究相关的4比1博弈变体，专门为了在被超越前确立优先权 ^[7]。

明泽本人对这种压力的描述直截了当：研究人员不再知道是否会“被这家万亿级公司抢先”；他认为更深层的损失是教学法层面的，而不仅仅是竞争性的——他说：“失败并了解为何失败具有巨大价值，而将发现外包给AI则完全剥夺了这一过程。” 理论计算机科学家瑞安·奥唐奈明确对比指出，他赞扬MIT团队“以传统方式解决问题，用自己的头脑，并亲手写下证明” ^[7]。综合来看，这些反应描绘了一个学科：其严谨原创工作的时限正被AI发布的可能性压缩——无论这些AI主张最终是否成立。

OpenAI对自己发布的表述毫无保留地充满胜利色彩。CEO萨姆·阿尔特曼形容自己“今晚仰望星空时格外敬畏”，将这722份手稿视为人类与AI协作的里程碑，并感谢了该模型及历代数学家 ^[8]。推动这一叙事的具体主张在纸面上确实惊人：一项将zeta函数零点限制在实部7/8的“准黎曼假设”、唯一博弈猜想的证明、CM阿贝尔簇上霍奇猜想的证明，以及长期存在的自由群因子问题的解决，这些内容分布在372个家族中，以开放的Apache-2.0许可证发布于GitHub ^[9]。

但专家反应几乎立即分裂，分歧与数学本身无关，而关乎认识论。安德鲁·萨瑟兰认为，单次代理、一次性主张应被视为未经验证，“除非他们发布模型并允许他人复现结果”——用他的话说，“我们应该索要凭证” ^[4]。丹尼尔·利特则持相反立场，认为即使验证不完善，公开分享答案也优于公司将答案秘而不宣 ^[4]。两种观点都不否认手稿的存在或某些内容已通过Lean检查；分歧完全在于：来自封闭模型、未经审查且不可复现的主张应获得何种程度的信任——而在这一点上，数学界显然意见不一。