OpenAI同日在官网发布《分享AI在数学领域的进展》(Sharing AI Progress in Mathematics)一文,明确将向此次计划出资500万美元。OpenAI称,希望通过资金及技术支持,帮助数学家理解和评估AI生成的研究成果,并在此基础上开展后续研究。
▲《分享AI在数学领域的进展》一文,图源:OpenAI
但OpenAI出资的背景,是其过去一个多月在数学界掀起的一场风波。导火索要从9月初说起。9月8日前后,OpenAI对外宣布,其未公开模型调度约1万个AI智能体,在88小时内完成了一项被描述为“千禧年难题”级别的数学工作。消息一出,纽约大学柯朗数学科学研究所教授特里斯坦·布克马斯特(Tristan Buckmaster)随即公开质疑,称其与一名Anthropic研究员此前已在相近方向取得成果,并怀疑OpenAI的模型可能接触过相关对话数据。截至目前,这一质疑尚未经独立证实。OpenAI否认访问相关数据,但其先后发布的说明存在不一致之处,未能完全消除外界疑虑。9月11日,陶哲轩、邓煜、彼得·舒尔茨(Peter Scholze)等25位菲尔兹奖得主作为首批签署人,联名发表声明《人工智能在数学中的严重错位》(A Severe Misalignment of AI in Mathematics),指责AI公司把“解决著名数学难题”当作衡量模型能力的基准,与数学界追求理解和知识积累的目标背道而驰。声明上线专门网站开放联署后,不到一天,签名人数便突破2500人。风波并未就此平息。10月6日,OpenAI将其内部模型生成的数学研究成果一次性上传至GitHub代码仓库,初版共722份手稿,涉及代数、理论计算机科学、数理逻辑、组合、数论等方向,包含约372组研究结果。
同日,人类数学协会(Association for Human Mathematics)发表声明,公开呼吁数学家停止与OpenAI合作,陶哲轩随后在个人博客转发了这份声明。面对批评,OpenAI开始调整沟通方式。10月6日,OpenAI在当天发布的官文中声称参考了普林斯顿高等研究院(Institute for Advanced Study,IAS)数学与人工智能独立顾问组的指导意见。但该顾问组也在当天发表声明,强调其顾问身份不代表认可OpenAI此次发布的具体流程。10月8日,OpenAI承认,一次性将大量成果上传至GitHub的做法并不符合此前顾问组的相关建议,并称正在与普林斯顿高等研究院的数学与人工智能独立顾问组合作,改进论文引用、数学论述和成果呈现方式。 02.Anthropic未披露出资金额黎曼ζ函数研究取得进展