OpenAI发布722篇数学手稿，单一提示解题引发验证争议

722篇手稿、372道数学难题，平均每个结果只花了约三小时的ChatGPT Pro用量——这是OpenAI这次公布的规模。但真正耐人寻味的是方法：据OpenAI告诉《Scientific American》，几乎每一篇论文都是用单一提示交给单一AI代理人完成的。

这批手稿全数上传到GitHub，由OpenAI新成立的顾问小组「数学与人工智能咨询委员会」（Advisory Group on Mathematics and Artificial Intelligence，AGMAI）确认。上个月OpenAI已先表态，称其模型「解决了横跨数学多数领域、超过100个长期悬而未决的问题」，这次等于把具体清单摊开。公司表示提出成果的是一个尚未对外发布的ChatGPT先导模型。

OpenAI声称的重点成果包括四维Kakeya猜想的解答、若干关键电脑算法的改良，以及在黎曼猜想上的进展——这三者任何一个若经证实，都足以成为数学界的大事。公司在发布文字中写道，这次先以GitHub保存库形式公开，附带论文修订与引用的机制，「同时仍在寻找符合委员会准则的其他社区托管方案」，并承诺未来的发布会在引用规范、数学论述与呈现方式上做得更完整。

但AGMAI建议的透明度，OpenAI只做了一半。委员会原本建议公开每个问题个别的运算时间与所使用的提示，OpenAI这次并未照做，只提供了整体的推理过程、运算估算与尝试问题的数量概况。换句话说，外界看得到结果清单，却看不到让人覆核这些结果是怎么跑出来的具体路径。

这正是争议的核心。在此之前，OpenAI的Navier-Stokes相关主张已经在数学界掀起一轮风波，让不少学者对「AI一次性解题」的说法保持谨慎。MIT数学家Andrew Sutherland告诉《Scientific American》：「除非他们发布模型、让人可以重现这些结果，否则任何关於单一代理人一次解题的说法，都应该视为未经证实。」

OpenAI公布的这批手稿，目前仍需数学家逐一查看验证，影响范围要等审查结果出炉才能判断。至于模型本身是否会对外开放、具体提示内容何时补齐，OpenAI尚未给出时间表。