当 AI 开始回答人类不知道的问题

来自 OpenAI 文章的图像展示

We’re sharing a solution to the Navier–Stokes existence and smoothness problem, one of the Millennium Prize Problems. This proof, produced by an internal OpenAI system, shows that the dynamics of the Navier-Stokes equations for fluid motion can develop a singularity in finite time. We’re sharing both a writeup of the proof and a formalization in Lean.—— On the Navier–Stokes Millennium Prize Problem, OpenAI

今天有个 里程碑事件：OpenAI 完成了一个数学问题 Navier-Stokes 千年奖问题 的研究和证明。OpenAI 在 文章 中写道：

The Millennium Prize Problems⁠ represent some of the deepest questions at the frontier of mathematics. The question of whether smooth three-dimensional fluid motion can break down has remained unresolved for roughly 90 years.千年奖问题⁠代表了数学前沿的一些最深刻的问题。平滑的三维流体运动是否会在有限时间内发生奇性，大约 90 年来一直悬而未决。

这简直太令人震惊了，虽然我知道 AI 十分聪明、能力十分强大，但一直以来，我都只认为 AI 也只是输出随机概率的状态机罢了，只能利用已有的人类知识。至于拓展人类知识的疆域，还得依靠世界上最聪明的人类大脑才行。

但是现在，AI 能够解决未知的问题了吗？真是让人难以接受。之前也有过 Google DeepMind 的 Demis Hassabis 和 John Jumper 使用专用 AI 系统 AlphaFold 解决蛋白质的结构预测问题，而获得 2024 年诺贝尔奖 的事情。但那毕竟有点像是在现有知识与框架之内的预测与计算，而非突破人类的知识极限，但这次会不会不一样呢？

未来 AI 是否会成为一种魔法呢？如果人类既不理解 AI 运作的内部原理，也不明白 AI 给出的知识理论，最后或许就成为了「知其然而不知其所以然」的情况了。