OpenAI成立数学与AI顾问组,并披露神秘模型24天攻破100余个数学开放难题
9月22日,OpenAI宣布成立“数学与AI顾问组”(Advisory Group on Mathematics and Artificial Intelligence)。该顾问组设在普林斯顿高等研究院,由九位数学家组成,将独立于OpenAI运作。
更重磅的是,OpenAI在公告中披露,公司于8月28日开始训练的一个神秘模型已成功解决了多个数学领域中100多个长期未解决的开放问题,包含此前引发争议的纳维-斯托克斯千年大奖难题。OpenAI称,该模型在数学领域的进展速度令公司内部的数学家感到惊讶,这引发了关于如何以最佳方式告知学界的内部讨论。
OpenAI认为,数学属于基础科学领域,AI取得新的数学发现后可能产生广泛应用,因此相关能力的开发和部署需要采取更稳重的方式。公司目前正在研究如何更广泛地部署与数学相关的AI能力。此前,陶哲轩、邓煜、彼得·舒尔茨等数学家联名发表公开信,对将解决数学开放问题作为新型AI系统基准可能产生的负面影响表达担忧。OpenAI表示,这些意见表明AI公司有必要与数学界开展更充分的交流。
OpenAI明确,该顾问组独立于OpenAI运作,有权提出公司未请求的建议、公开评论OpenAI对数学的影响,并可自行决定调整成员构成,成员不从OpenAI领取报酬。不过,OpenAI同时说明,该顾问组不负责就公司内部数学研究的推进节奏提供建议。
顾问组首批成员包括:François Charles(巴黎高等师范学院ENS-PSL)、Camillo De Lellis(普林斯顿高等研究院IAS、Gran Sasso科学研究所)、Timothy Gowers(法兰西公学院、剑桥大学)、Martin Hairer(洛桑联邦理工学院、伦敦帝国理工学院)、Nikhil Srivastava(伯克利、西蒙斯研究所)、Ulrike Tillmann(牛津大学、INI)、Ravi Vakil(斯坦福大学)、Edward Witten(IAS)、Melanie Matchett Wood(哈佛大学)。其中Gowers、Hairer和Witten均为菲尔兹奖得主,九位成员中仅Camillo de Lellis一人同时是前述公开信的签署者。
该顾问组将就新兴成果的评审与传播提供建议,帮助OpenAI评估成果的重要性,并就数学研究的学术标准提供意见。小组还将就OpenAI的工具如何支持数学研究与学习提供建议。