一位刚结束OpenAI实习的研究者给出了一个时间点：2027年，数学超级智能将到来。按他的说法，届时几个月的数学进展，可能相当于过去一个世纪。

这个判断并非孤声。Haider对此表示认同，并进一步指出，数学奇点其实已经在发生——只是大多数人还没意识到。

打开网易新闻 查看精彩图片

验证正在掉队

Haider给出的依据很具体：普通数学家已经跟不上AI生成的数学解答，更谈不上验证。开发者这边也一样，审查AI生成的代码、修复其中的问题，同样力不从心。

换句话说，产出速度已经跑在了人类理解速度的前面。这不是某个环节的卡顿，而是验证链条整体性的滞后。

一个时间点的分量

2027年这个数字之所以值得记下来，是因为它把"数学超级智能"从模糊的远景拉到了可对照的日程上。而"几个月等于一个世纪"的换算，指向的是进展速率的量级变化。

当验证者跟不上生成者，问题就不再是AI能不能做出来，而是人类还能不能看懂它做出来的东西。