行业多源确认92°

OpenAI 成立数学与 AI 顾问组,神秘模型已解 100 多个数学开放问题

OpenAI 宣布成立数学与 AI 顾问组,神秘新模型 24 天攻破 100+ 世界级难题

精选理由

OpenAI 拉了 9 位数学家组独立顾问组,还披露 8 月底开训的模型解出 100 多道数学开放题,连纳维-斯托克斯都拿下了。

OpenAI 宣布在普林斯顿高等研究院设立数学与 AI 顾问组,由 9 位数学家组成,独立于公司运作且成员不从 OpenAI 领取报酬。公告同时披露,一个 8 月 28 日开始训练的神秘模型已解决 100 多个长期未解的数学开放问题,其中包含纳维-斯托克斯千年大奖难题。首批成员中有 Timothy Gowers、Martin Hairer、Edward Witten 三位菲尔兹奖得主。此前陶哲轩、Peter Scholze 等人联名发公开信,质疑把解决数学开放问题用作 AI 基准,OpenAI 称顾问组是对数学界担忧的回应机制之一。

原文 · IT之家

OpenAI 宣布成立数学与 AI 顾问组,神秘新模型 24 天攻破 100+ 世界级难题

IT之家 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 均为菲尔兹奖得主(IT之家注:九位成员中仅 Camillo de Lellis 一人同时是前述公开信的签署者)。 该顾问组将就新兴成果的评审与传播提供建议,帮助 OpenAI 评估成果的重要性,并就数学研究的学术标准提供意见。小组还将就 OpenAI 的工具如何支持数学研究与学习提供建议。 相关阅读: 《 继 Claude 尝试攻克黎曼猜想后:OpenAI 宣布用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题,陶哲轩既点赞又担忧 》 《 不到一个月连破两道千禧年大奖难题?消息称 OpenAI 即将攻克霍奇猜想 》