OpenAI 成立独立数学咨询小组,应对 AI 数学建模进展

OpenAI 在 8 月 28 日开始训练一个新的内部模型。据公告,这个模型除了解决 Navier–Stokes 千禧年奖问题外,还解决了数学大多数领域中超过 100 个长期悬而未决的开放问题。OpenAI 内部数学家对这一速度感到意外,公司也在考虑如何向社区通报这一快速进展,以便数学界提前做好准备和适应。

数学是基础科学,新发现可能带来广泛的应用。OpenAI 承认这既意味着巨大的潜力,也意味着必须负责任地开发和部署与数学相关的 AI 能力。一封名为《A Severe Misalignment of AI in Mathematics》的公开信引起了关注,一些数学家对将解决开放问题作为新 AI 系统基准的负面外部性表示担忧。OpenAI 表示,这些批评表明需要与数学界进行深思熟虑的接触。

为了回应这一关切,OpenAI 正在与一群数学家合作,成立一个独立的数学咨询小组。该小组的成员包括 François Charles(ENS-PSL)、Camillo De Lellis(IAS)、Timothy Gowers(Collège de France, Cambridge)、Martin Hairer(EPFL, Imperial College London)、Nikhil Srivastava(Berkeley)、Ulrike Tillmann(Oxford)、Ravi Vakil(Stanford)、Edward Witten(IAS)和 Melanie Matchett Wood(Harvard)。这些成员将作为数学界与 OpenAI 之间的桥梁,就新成果的重要性评估、发布协调方式,以及数学研究的学术和专业标准提供建议。

该小组独立于 OpenAI 运作。它有权主动提供建议、公开评论 OpenAI 对数学的影响,并且其成员不领取报酬。小组可以根据需要调整成员构成。OpenAI 明确表示,小组不负责为 OpenAI 内部数学研究节奏提供建议。公告强调,合作只是第一步,未来需要应对 AI 如何支持数学理解、如何让更广泛社区受益等难题,而让数学家处于核心位置。

Advisory Group on Mathematics and Artificial Intelligence

查看原文