OpenAI 与独立数学顾问组合作，审查内部模型产出的百余道开放问题解答
AI 出证明的速度已超过数学界同行评议的消化能力，OpenAI 拉来九位数学家组成无否决权的顾问组，试着解决「谁来验、怎么发」这个新问题。
OpenAI 宣布与普林斯顿高等研究院托管的独立顾问组 AGMAI 合作。该公司称其内部模型自 8 月底起已解决横跨多个领域的 100 多道长期开放问题，另有纳维—斯托克斯方程千禧年难题的论文与 Lean 形式化证明。这些结果尚未经数学界独立审查。
正文摘录
.jpg) 在一道千禧年大奖难题的解答还在接受数学界审视的同时，超过 100 道长期开放问题也已经被内部模型解决。OpenAI 最新公布的信息描绘了这样的局面。 今天早上，OpenAI 宣布与一个独立数学顾问组合作。 该组织名为「数学与人工智能顾问组」（Advisory Group on Mathematics and Artificial Intelligence，AGMAI） ，由普林斯顿高等研究院托管。它眼下的一项任务，是针对 OpenAI 内部模型产生的大量数学结果，就评估、审查和发布方式提出建议。  OpenAI 此举回答了一个更棘手的问题：当 AI 生成数学成果的速度超过同行评议和学术传播能够承受的速度，数学界该怎样接住这些结果？ 百道难题，突然变成了发布难题 OpenAI 称，公司从 8 月 28 日开始训练一款新的内部模型。除了此前公布的纳维 — 斯托克斯方程千禧年大奖难题解答， 这款模型已经解决了横跨数学多个领域的 100 多道长期开放问题。其进展速度甚至令 OpenAI 内部的数学家感到意外。 9 月 8 日，OpenAI 公开了纳维 — 斯托克斯问题的论文和 Lean 形式化证明。