OpenAI成立数学顾问组并称AI破解百余开放难题

OpenAI近日宣布成立一个全新的独立顾问机构——数学与人工智能顾问组（Advisory Group on Mathematics and Artificial Intelligence），该机构挂靠于新泽西州普林斯顿的高等研究院（Institute for Advanced Study，简称IAS）。按照OpenAI发布的官方说明，这一顾问组的目标是让数学界对该公司的数学相关研究拥有更多话语权，“这个组织将作为通往数学界与更广泛公众的桥梁，让数学家在我们如何向前推进的问题上拥有发言权”。

这一消息的发布并非孤立事件。就在此前不久，OpenAI突然公布了一份针对Navier-Stokes方程千年大奖难题的解答，引发数学界高度关注。伴随顾问组成立的公告，OpenAI还进一步声称，同一个内部模型已经在数学的绝大多数领域中解决了超过一百个此前悬而未决的开放问题。这一说法将该公司在数学推理方向上的野心推到了台前：不仅要在竞赛题和定理证明上取得成绩，还要直接挑战长期困扰专业数学家的前沿难题。

然而，这种“狂飙式”的成果发布节奏已经在数学界引发不小争议。据素材显示，本月早些时候，25位菲尔兹奖得主联名签署了一封公开信，认为各大AI实验室在争相用著名数学问题的解答互相较劲的过程中，正在威胁数学家群体的智力劳动价值。这种紧张关系构成了理解新顾问组定位的重要背景：OpenAI需要在加速推进数学研究的同时，缓解来自专业学术社群的疑虑。

从职能设计上看，这个顾问组正如其名称所示，主要承担咨询角色。它将负责评估新成果的重要性，并协调这些成果的对外发布。虽然成员不领取报酬，但他们可以主动提出建议、公开表达自身观点，并且掌握自己的成员构成，这在一定程度上赋予了顾问组相对于公司的独立性。

不过，这种独立性存在明确边界。OpenAI明确表示，顾问组无权放缓或改变公司正在进行的数学研究。官方博客的原话是：“该顾问组不负责就我们如何安排内部数学研究进度向我们提供建议。”高等研究院在自己的公告中也着重强调了这一点，其新闻稿指出：“尽管我们会提供建议，但我们对任何AI公司都没有决策权，任何公司所做决定的责任都将由该公司自身承担。”

首批成员方面，共有九位知名数学家被列入顾问组初始名单。值得玩味的一个细节是，在签过菲尔兹奖得主公开信的25人中，只有一位同时出现在这份顾问组名单里，即来自高等研究院的Camillo De Lellis。这意味着AI实验室与顶尖数学社群之间仍存在明显张力，顾问组能在多大程度上真正成为双方沟通的桥梁，尚需观察。

从技术层面看，OpenAI此次披露的信息指向一个能力方向：其内部模型在长时间、高难度的数学推理任务上具备持续产出的潜力。解决开放问题与解决已知答案的竞赛题有本质区别，前者需要对数学结构提出新见解，并生成可被同行检验的证明。OpenAI声称已覆盖数学大部分分支的上百个问题，但这些问题清单、证明细节以及是否经过独立验证，目前仍是数学界关注的核心焦点。顾问组评估成果重要性与协调发布的职能，恰好回应了这一验证需求。

对于开发者与AI研究者而言，这一动态释放了两个信号。其一，面向数学的形式化推理与自动定理证明正成为前沿模型的重要能力赛道，相关训练方法、验证工具与基准测试很可能随之快速演进。其二，AI实验室与学术共同体之间的协作机制正在被制度化的尝试所填补，顾问组这类松散但具有公开表达权的组织形式，或许会成为未来AI基础研究治理的一种参考样本。无论如何，当模型开始批量触碰人类数学的未知边界时，如何评估、验证与承认这些成果，已不再只是技术问题。