第75章 人类，一败涂地

“不可思议……”

田院士讚嘆道，“在常规的三维空间里，两个山谷中间不可能没有山脊。但是齐物利用代数几何中的【渐近线逃逸】原理，硬生生地撕裂了空间的连续性。

纯粹的数学直觉，绝对的天赋异稟！”

博切尔兹已经在反覆翻看齐物详细的资料了，这少年实在是太惊人了……

只用3分12秒就解答完毕，简直妖孽。

因为所有人都看到，相比较於齐物的“雷厉风行”，其他人类选手其实仍处於泥泞之中。

这道题考的是“绝对反例构造”，对於数学直觉差一点的天才来说，並不是那么容易解决的。

时间一分一秒流逝……

来自普林斯顿的john chen全神贯注，他选择的是莫尔斯理论。

作为拓扑学天才，他在第8分钟的时候，就通过分析下水平集的欧拉示性数，成功地证明了这种函数在理论上的绝对存在性。

但是他卡住了。

因为题目要的是显式构造多项式，而不是存在性证明！

他知道那个拓扑结构长什么样，但是他无法把那团抽象的【多维几何泥巴】，用精確的x和y的代数方程捏出来。

从拓扑存在跨越到代数显式，並不是一件易事。

来自剑桥大学的刘一凡，同样陷入了计算的泥潭。

他选择的方法是实代数几何中的【平方和sos】来强行构造反例。

他写下了f(x，y)=a2+b2的框架，试图通过调整多项式a和b的係数来消除鞍点。

方法是对的，这和齐物的底层逻辑是一样的。

但是，刘一凡没有齐物那种，一眼看穿“x2y-x-1”是一个精巧的局部奇点构造的能力。

为了消除不断冒出来的鞍点，他不得不进行【奇点拉平】，这就导致多项式失去控制，瞬间飆升到16次方。

16次方的偏导数方程组……

不是人类能解出来的。

mit的李明泽用了非常高明的微分拓扑的微分同胚映射，但是最后推导多项式时，被一个阿贝尔积分困住。

时间流逝，已经来到了18分01秒。

“滴滴滴滴——”

ai阵营传来提示音，阿力的【九章】、openai的【gpt-4】依次给出正確答案。

虽然没有破局的灵感，但是ai依靠恐怖的符號计算引擎，启动双指数级时间复杂度的柱形代数分解，结合gr?bner基，在八次、十次多项式的上百亿个参数空间中，进行了数百万次的非线性方程组运算。

没有数学直觉，不妨將所有的可能性算一遍。

【叮！企鹅圆宝，解答完毕！构造八次多项式……答案正確！】

剩余的七个ai依次完成解答。

19分20秒，燕大的韦东，凭藉对多项式理想极深的功底，通过代数簇的焦点定理，凑出了一个同构的八次方多项式，压线提交正確答案。

【john chen，超时，本轮淘汰。】

【刘一凡，超时，本轮淘汰。】

【李明泽，超时，本轮淘汰。】

人类阵营再次损失三员大將。

“ai充分展示了容错率，只要给充足的时间，它们凭藉庞大的算力，能做到的事情太多了。”

博切尔兹点评道，“从设计、写代码到视频，ai已经代替了太多的人类职业，不过，我相信，人类总有某些特质，是ai无法比擬的。”

只是看著台上仅剩的两位人类选手，菲尔兹奖得主的话，听起来总有种【强行挽尊】的感觉。