OpenAI内部模型破解逾百道数学难题 引发学界反弹后紧急成立独立顾问小组

此前，OpenAI声称其于今年8月28日开始训练的一款内部未公开模型，不仅攻克了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题（Navier–Stokes problem），还一举解决了涵盖大多数数学领域的100多道长期悬而未决的开放性难题。

这一突破性的进展及其极快的发展节奏，甚至超出了OpenAI内部数学家团队的预料。然而，商业AI公司将历史性数学猜想视为竞争勋章并急于发布成果的做法，也在学术界引发了强烈反弹。包括陶哲轩（Terence Tao）、丘成桐及多位菲尔兹奖得主在内的25位知名数学家，此前公开发表了一份题为《人工智能在数学领域的严重失配》的公开信，指责科技巨头在缺乏同行评审、缺乏详细推理过程以及未妥善标注前人贡献的情况下盲目抢跑，不仅破坏了学术规范，还可能对数学学科的健康发展造成破坏性影响。

为了缓和与学术界的紧张关系，OpenAI促成了该独立顾问小组的建立。名单如下：

• François Charles

• Camillo De Lellis

• Timothy Gowers

• Martin Hairer

• Nikhil Srivastava

• Ulrike Tillmann

• Ravi Vakil

• Edward Witten

• Melanie Matchett Wood

根据官方声明，该小组将作为商业AI机构与数学界及公众之间的桥梁，协助评估机器生成证明的学术价值，指导成果的发布流程，并就研究规范和教学工具的应用提供建议。为确保评估的客观独立，顾问小组成员不会接受OpenAI的任何薪酬，且拥有自主决定成员更迭、公开发表异议及独立评述的权力。

不过，这一监督机制依然存在明确的权力边界。OpenAI与普林斯顿高等研究院均明确证实，顾问小组仅具备咨询与评议职能，无权干涉、延缓或改变OpenAI内部模型研发与数学项目的推进节奏。尽管数学界对于这些机器证明的严密性与原创性仍持审慎态度，但这一举措标志着AI技术在向纯粹基础科学渗透的过程中，正迫使产业界与传统学术界建立全新的信任与协作框架。