AREX Feed Article
OpenAI 宣布与设于普林斯顿高等研究院的独立数学顾问小组合作，Gowers、Witten 等九人任初始成员
9 月 21 日，OpenAI 在宣布，与一个设于普林斯顿高等研究院（Institute for Advanced Study，IAS）的独立数学顾问小组（Advisory Group on Mathematics and Artificial Intelligence）合作。初始成员共九人，包括 Timothy Gowers、Martin Hairer、Edward Witten 等；按公告，小组将协助 OpenAI 评估与沟通新的数学成果，就数学研究的学术与专业标准提出建议，并就支持数学研究与学习的工具建设提出建议。
OpenAI 于同日 17:50（UTC）发帖宣布这一消息并链接博客页，称小组将帮助公司负责任地分享 AI 与数学方面的进展；截至发稿前核实，这条推文已获得 1,733 个赞和约 11.7 万次浏览。公告同时写明：小组独立于 OpenAI 运作，成员不受 OpenAI 支薪，可以公开自己的建议——包括公司未主动征求的建议；但它不负责就 OpenAI 内部数学研究的推进速度提供建议。
小组由数学家自行组建，九人中两人来自 IAS
公告的措辞是“我们正与自行组建了一个独立数学顾问小组的数学家合作”。公告所列初始成员及其机构为：
- François Charles（ENS-PSL）
- Camillo De Lellis（IAS、GSSI）
- Timothy Gowers（Collège de France、Cambridge）
- Martin Hairer（EPFL、Imperial College London）
- Nikhil Srivastava（Berkeley、Simons Institute）
- Ulrike Tillmann（Oxford、INI）
- Ravi Vakil（Stanford）
- Edward Witten（IAS）
- Melanie Matchett Wood（Harvard）
其中，Camillo De Lellis 与 Edward Witten 的所属机构即为 IAS。
三项职责：评估成果、协调发布、建议工具
按公告，在“新兴结果的审查与沟通”上，小组将帮助 OpenAI 评估成果的意义，就如何协调成果的对外发布给出建议，并就数学研究的学术与专业标准把关。这一职责对应公司自述的处境：博客写道，模型在数学上的快速进展促使 OpenAI 内部讨论“以最好的方式让学界知晓这些进展”，好让这个领域有所准备并作出调整。
第三项职责落在工具上：小组还将就 OpenAI 的工具如何支持数学研究与学习提出建议。博客写道：“我们希望把强有力的工具交到数学家手中，让他们去钻研自己最了解的问题，发展新的想法。”
成员可以挑战公司的判断
公告为小组的独立性列出了具体条款：小组有权主动提出公司未征求的建议，可以评论 OpenAI 对数学的影响，并可以公开其建议。博客称，小组的价值“取决于成员能否行使自己的判断，并挑战我们的判断”。成员的报酬不由 OpenAI 支付，小组也可以自行决定成员变动。
公告还用“重要的是”单独划出一条边界：小组不负责就 OpenAI 应以什么速度推进内部数学研究提供建议。
公告背后：一个 8 月 28 日开始训练的内部模型
这份公告发布在 OpenAI 对自家模型数学能力的系列声明之后。博客开头写道，OpenAI 于 8 月 28 日开始训练一个新的内部模型；据公司称，除了解决 Navier–Stokes 千禧年大奖难题，该模型“现已解决数学大多数领域中 100 多个长期悬而未决的问题”，其在数学上的进展速度“令 OpenAI 内部的数学家感到惊讶”。
，OpenAI 曾发布题为《On the Navier–Stokes Millennium Prize Problem》的声明，称其内部系统给出了 Navier–Stokes 存在与光滑性问题的解：初始光滑的流体可以在有限时间内发展出奇点，该结果确立了千禧年大奖难题官方表述中的 C、D 两种陈述；公司同时公布了证明文稿，以及在 Lean（一种数学证明形式化系统）中完成的验证。按声明页的说法，这项工作由内部模型驱动的多智能体系统完成，参与该问题的并发 agent（智能体）规模在 1 万左右；解在 9 月 5 日得出，距首批 agent 启动约 88 小时，Lean 形式化与验证又耗时 17 小时，由 GPT-6 Astra 完成；声明页称用于解题的内部模型“显著强于 GPT-6 Astra”，并表示“不打算为此结果申领千禧年大奖”。
这些能力说法均为公司声明，尚未得到独立核实。
Hairer 同时出现在公开信署名和顾问小组名单上
博客把这次合作与数学界“近日”发表的公开信《A Severe Misalignment of AI in Mathematics》联系起来：信中数学家担忧，把解决公开问题作为新 AI 系统的基准会产生负面外部性。OpenAI 写道，这些批评“凸显了 AI 公司与数学界进行认真接触的必要”。
列出的署名者共 25 位，全部注明菲尔兹奖得主身份，其中包括 Terence Tao、Peter Scholze、Manjul Bhargava 等。信中的核心论点是：解题只是通向概念理解与洞见的代理指标，以越来越快的速度批量产出“真/假”命题，可能摧毁数学赖以生长的土壤；仓促公布的解来不及形成完整的写作、方法提炼与对前人工作的引用，会引发严重的署名与抄袭问题。
署名人 Martin Hairer 也是此次公布的顾问小组九位初始成员之一。OpenAI 在博客中称这个小组是“通往数学界和更广泛公众的桥梁”，让数学家“在我们如何前进的问题上有发言权”，并称此次合作“是第一步”。
至于公开信针对的做法本身是否调整，公告没有说明。