OpenAI 于 10 月 7 日宣布,已在 GitHub 上发布 722 篇手稿,涉及 372 个重大数学问题的解答与阶段性进展。据 Engadget 报道,这些成果由一个尚未发布的 ChatGPT 前沿模型得出,并经 OpenAI 新设立的顾问组确认,预计会进一步扩大围绕 Navier-Stokes 问题在数学界持续发酵的争议。
这一发布此前已有预告。OpenAI 上月表示,其模型已解决“数学大部分领域中超过 100 个长期悬而未决的问题”。随手稿一并公布的内容包括模型的推理过程、算力估算以及尝试问题的数量。公司称,取得“平均结果”约需使用三小时的 ChatGPT Pro。
OpenAI 表示,发布遵循其数学与人工智能独立顾问组(AGMAI)建议的准则,其中包括通过传统学术渠道尽快公布结果,并披露所用模型名称、提示词和算力成本。《科学美国人》报道称,OpenAI 向该刊表示,几乎每篇论文都是向单个 AI 智能体发出单次提示后生成的。
公司称:“本次发布,我们把结果公布在 GitHub 仓库中,并附有论文修订和引用的协议。我们还在继续探索其他由社区托管、同时符合委员会准则的发布方式。对于未来的发布,我们承诺通过引用、数学阐述和结果呈现来进一步提升论文质量,以便更好地理解。”
不过 OpenAI 也忽略了顾问组的部分建议,未公布各问题的具体计算时长,也未披露使用了哪些提示词。
公司称取得的主要结果包括四维 Kakeya 猜想的解答、若干关键计算机算法的改进,以及在难度极高的黎曼猜想上取得的进展。
这些结果仍需数学家评估后才能判断其影响。在 Navier-Stokes 问题风波之后,科学界仍存在大量怀疑。麻省理工学院数学家安德鲁·萨瑟兰对《科学美国人》表示:“除非他们发布模型、且人们能复现其结果,否则我认为,任何关于用单个智能体一次性解决问题的说法都应被视为未经证实。”