OpenAI内部模型解开100多个数学难题，数学证明不再只属于数学家

8月28日，OpenAI开始训练一个新的内部模型。这个模型已经解决了Navier-Stokes千禧年大奖问题，还解开了数学大多数领域里100多个长期悬而未决的问题。它的进展速度，让OpenAI内部的数学家都感到意外。

能解开放问题的AI，和能查资料、做计算的AI是两种东西。开放问题意味着全世界还没有人给出答案。这个模型够到了知识生产这一头，知识整理和检索是另一码事。

数学家的公开信

OpenAI内部正在讨论一件事：怎么把这个快速进展告知数学界，好让这个领域提前准备、适应。讨论的背景并不轻松。数学界对“拿开放问题当新模型的基准”，已经公开表达过担心。

一封公开信最近出现，名字叫《AI与数学的严重错位》。数学家们在信里提出，把解决开放问题当作新AI系统的基准，会带来负面外部效果。如果每个新模型都抢着去解下一个开放问题，数学界连验证结论、消化结果的时间都没有。研究、发表、评审的原有节奏会被打乱。

这些批评指向一个明确的需求：AI公司和数学界需要更认真地接触。OpenAI的回应是去找数学家，成立一个独立咨询小组。

独立小组能做什么

小组成员有九位：

- François Charles（巴黎高等师范学院）
- Camillo De Lellis（普林斯顿高等研究院、格兰萨索科学研究所）
- Timothy Gowers（法兰西公学院、剑桥大学）
- Martin Hairer（洛桑联邦理工学院、伦敦帝国理工学院）
- Nikhil Srivastava（加州大学伯克利分校、西蒙斯研究所）
- Ulrike Tillmann（牛津大学、牛顿数学研究所）
- Ravi Vakil（斯坦福大学）
- Edward Witten（普林斯顿高等研究院）
- Melanie Matchett Wood（哈佛大学）

小组会在OpenAI和数学界之间当一座桥，让数学家对OpenAI的未来有发言权。具体职能有四项：评估新结果在数学上的重要性；就如何协调传播提供建议；对数学研究的学术和专业标准发表意见；另外还要就OpenAI的工具如何支持数学研究和学习提出建议。OpenAI想做的，是把能力足够的工具交到数学家手里，让他们研究自己最懂的问题、发展新的想法。

为了不让小组只走形式，OpenAI给了它相当多的独立空间。小组独立运作。它可以主动提出OpenAI没有要求的建议，公开评论OpenAI对数学的影响，把建议全部公之于众。小组成员不从OpenAI拿报酬，可以自行决定更换成员。OpenAI自己也承认，小组的价值取决于成员能不能行使判断、敢不敢挑战OpenAI。

但有一样不在小组职权范围里：它不对OpenAI内部数学研究的推进速度提建议。OpenAI请数学家来，谈的是方向，进度表不在这里面。让数学界有发言权，同时把研发节奏留给自己，这条分界线划得很清楚。

更大的问题

这些安排的意义不止于回应数学家。数学是基础科学，新的发现可能会带来广泛的应用。OpenAI说，这些能力的潜力很大，负责任地发展和部署它们，重要性超出了数学本身。它正在研究怎么把数学相关的能力负责任地推广出去。

与咨询小组的合作，OpenAI称它为第一步。接下来还有更难的问题：AI怎么支持数学理解，这些能力的好处怎么到达更大的社区。OpenAI希望数学家处在这类答案的中心。

除了已经公开的Navier-Stokes问题，这个模型具体还解决了哪些，OpenAI没有公布。部署方式、时间表同样没有说明。咨询小组的建议能在多大程度上影响OpenAI的实际决定，要等它运作起来才能判断。唯一已经清楚的是，数学证明这件事情，不再只属于数学家。