OpenAI 成立数学与人工智能独立顾问组

8 月 28 日，我们开始训练一个新的内部模型。除了解决纳维–斯托克斯千禧年大奖难题⁠之外，该模型目前已在数学的绝大多数领域解决了 100 多个长期悬而未决的开放问题。其在数学领域的进展速度⁠令 OpenAI 内部的数学家感到惊讶。这引发了内部讨论：如何以最好的方式告知社区这一快速进展，以便该领域做好准备并加以适应。

数学是一门基础科学，新的发现可能带来广泛的应用。这使得这些能力的前景十分可观，也使其负责任的开发与部署在数学本身之外同样重要。我们认识到这一点，并正在研究如何以负责任的方式更广泛地部署与数学相关的 AI 能力。

在最近的一封公开信“AI 在数学领域的严重错位⁠”中，数学家们对将解决开放问题作为新 AI 系统基准所带来的负外部性提出了担忧。

他们的批评凸显出 AI 公司需要与数学界进行深思熟虑的互动。为此，我们正在与已成立独立数学咨询小组的数学家们合作。该小组将作为通往数学界和更广泛公众的桥梁，让数学家们在我们如何向前推进的问题上拥有发言权。

该小组将就新兴成果的评审与传播提供建议：他们将帮助 OpenAI 评估这些成果的重要性，就如何协调其传播提供建议，并就数学研究的学术与专业标准提供建议。该小组还将就我们的工具如何支持数学研究和学习提供建议。我们希望把能力强大的工具交到数学家手中，让他们能够探索自己最熟悉的问题并发展新的想法。

该小组将独立于 OpenAI 运作。该小组将有权自由提出我们未曾请求的建议、评论 OpenAI 对数学的影响，并公开其建议。其价值取决于其成员能否行使自己的判断并挑战我们的判断。其成员不会由 OpenAI 支付报酬，该小组可以自行决定变更其成员构成。重要的是，该小组不负责就如何把控我们在数学领域的内部进展节奏向我们提供建议。

与该小组合作只是第一步。未来还有诸多难题：AI 如何支持数学理解，以及这些能力的益处如何惠及更广泛的群体。我们希望数学家处于塑造这些答案的核心位置。

数学与人工智能咨询小组⁠的初始成员，该小组设于高等研究院⁠：

• François Charles（ENS-PSL）

• Camillo De Lellis（IAS）

• Timothy Gowers（法兰西公学院，剑桥大学）

• Martin Hairer（EPFL，伦敦帝国理工学院）

• Nikhil Srivastava（伯克利）

• Ulrike Tillmann（牛津大学）

• Ravi Vakil（斯坦福大学）

• Edward Witten（IAS）

• Melanie Matchett Wood（哈佛大学）