
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 如何支持数学理解、如何让更广泛社区受益等难题,而让数学家处于核心位置。


