陶哲轩批评 AI 证明数学的方式：自动化掠夺式挖掘

当今数学界公认的第一人陶哲轩，在最新专访里对 AI 证明数学的方式给出了极度严厉的公开批评，而且这事跟证明到底对不对完全无关。

很多外行看 AI 攻克数学难题，只在乎最后那句证明完毕的欢呼。

以为机器只要能吐出一个正确的解题步骤，就是科技对人类智慧的又一次伟大胜利，

媒体和吃瓜群众蜂拥而上，把算力强行推导出的结果捧上神坛，觉得千禧年难题又被攻破了一角。

但陶哲轩直接把这层狂欢的底裤给扯下来了。

他谈到最近围绕纳维-斯托克斯方程引发的混乱时，用了一个极其刺眼的定性：这是一种自动化的、掠夺式的剥削挖掘。

数学家们真正渴望的，是 AI 当一个任劳任怨、随叫随到的超级计算器，而不是一个不讲武德、跑来跟人类争抢成果的竞争者。

这背后藏着一个普通人完全不知道的科学常识。

人类数学家解决一个难题，从来不是为了那一个孤立的答案，

而是在漫长几十年甚至几百年的推导过程中，一步步打磨出全新的概念体系、构建出严密的理论工具，顺便滋养和带动整个学科前赴后继的发展。

而现在的 AI 就像开着重型推土机冲进原始森林，靠着野蛮算力和黑盒逻辑，暴力把眼前的果子一把薅走，留下的却是一片人类根本无法理解、也无法继续耕种的理论废墟。

虽然最终人类花很多年或许能勉强理解那个机器证明，但这种杀鸡取卵的推进方式，可以说是极其次优，甚至是极不负责任的。

这里有一个极度冷酷的反直觉真相：

正确答案并不等于科学进步， 如果你拿到了那个正确的终点，却把通往终点沿途所有的理论阶梯全部炸断，

这种只顾眼前交付的掠夺式算力，本质上是在亲手透支这门学科未来的生命力。

别再盲目崇拜那些黑盒吐出来的终极答案了。

人类探索未知的真正尊严， 从来不是撞大运般得到一个结果，而是我们必须清清楚楚知道，自己到底是如何一步步走到那里的。 https://t.co/K4RoZAU2Ul