OpenAI再向震惊的数学界发布数百项成果

OpenAI又扔出一枚重磅炸弹。距离该公司宣布用AI解决数学界六大开放问题之一仅过去一个月，它再次发布372项数学成果，全部来自同一个内部模型。这些成果覆盖数学和理论计算机科学的多个重大开放问题，其中不少已经通过Lean编程语言验证——Lean能自动校验证明逻辑，通过验证基本意味着结论正确。成果清单里包括四维Kakeya猜想的解答、对若干核心计算机算法的改进，以及在黎曼假设上取得的实质进展。黎曼假设被称为数学中最令人恐惧的问题，悬而未决已超过160年。 真正让数学界震动的是这些成果的生成方式。OpenAI发言人告诉《科学美国人》，新模型对几乎所有问题只用了单次提示、单个AI智能体就给出了结果。这和一个月前解决Navier-Stokes方程的方式形成鲜明对比：那次动用了上万个智能体组成的集群，算力成本高达数百万美元。如果单智能体单次提示就能产出这种级别的成果，意味着前所未有的数学能力可能很快普及到普通人手中。但数学界对OpenAI的信任度并不高。麻省理工学院数学家Andrew Sutherland直言，除非公司公开模型、让人能复现结果，否则单智能体一次搞定的说法只能算未经证实，我们应该要求看到凭证。OpenAI发言人也承认，部分结果可能经过多次尝试才得出。 争议的核心在于透明度。OpenAI此前发布Navier-Stokes成果的方式引发巨大反弹，以至于公司在9月21日宣布成立一个独立数学家顾问组，专门就如何负责任地发布AI生成的数学成果提供建议。顾问组的建议很明确：发布方应公开模型、精确提示词和每项成果的算力消耗。但OpenAI最终只公布了每个问题的平均算力时间和部分统计数据，没有公开任何提示词。公司发言人称团队认真对待顾问组建议并尽力遵守，但同时表示公司不受这些建议约束。这种态度让不少数学家感到失望——在AI开始产出真正原创数学成果的时代，验证和复现的门槛反而被抬高了。对关注AI能力边界的人来说，这372项成果究竟是里程碑还是营销噱头，可能还需要几个月才能有定论。