Terence Tao criticizes the way AI proves mathematics: automated, predatory mining
English text is being prepared.
In a recent interview, Terence Tao criticized the way AI proves mathematics, describing the chaos surrounding the Navier-Stokes equations as a kind of automated, predatory exploitation and mining. He believes mathematicians want AI to serve as an on-call supercalculator, not as a competitor fighting over results; the value of humans solving difficult problems lies in refining conceptual systems and theoretical tools through long-term derivation, whereas AI, relying on computing power and black-box logic to directly take the answer, leaves behind theoretical ruins that are hard to understand and impossible to build on. He emphasized that a correct answer does not equal scientific progress.
Why read this
AI score 52
Terence Tao's criticism of AI proving mathematics points to an often-overlooked problem: getting the right answer does not equal advancing the discipline.
Topics
Body
当今数学界公认的第一人陶哲轩，在最新专访里对 AI 证明数学的方式给出了极度严厉的公开批评，而且这事跟证明到底对不对完全无关。
很多外行看 AI 攻克数学难题，只在乎最后那句证明完毕的欢呼。
以为机器只要能吐出一个正确的解题步骤，就是科技对人类智慧的又一次伟大胜利，
媒体和吃瓜群众蜂拥而上，把算力强行推导出的结果捧上神坛，觉得千禧年难题又被攻破了一角。
但陶哲轩直接把这层狂欢的底裤给扯下来了。
他谈到最近围绕纳维-斯托克斯方程引发的混乱时，用了一个极其刺眼的定性：这是一种自动化的、掠夺式的剥削挖掘。
数学家们真正渴望的，是 AI 当一个任劳任怨、随叫随到的超级计算器，而不是一个不讲武德、跑来跟人类争抢成果的竞争者。
这背后藏着一个普通人完全不知道的科学常识。
人类数学家解决一个难题，从来不是为了那一个孤立的答案，
而是在漫长几十年甚至几百年的推导过程中，一步步打磨出全新的概念体系、构建出严密的理论工具，顺便滋养和带动整个学科前赴后继的发展。
而现在的 AI 就像开着重型推土机冲进原始森林，靠着野蛮算力和黑盒逻辑，暴力把眼前的果子一把薅走，留下的却是一片人类根本无法理解、也无法继续耕种的理论废墟。
虽然最终人类花很多年或许能勉强理解那个机器证明，但这种杀鸡取卵的推进方式，可以说是极其次优，甚至是极不负责任的。
这里有一个极度冷酷的反直觉真相：
正确答案并不等于科学进步， 如果你拿到了那个正确的终点，却把通往终点沿途所有的理论阶梯全部炸断，
这种只顾眼前交付的掠夺式算力，本质上是在亲手透支这门学科未来的生命力。
别再盲目崇拜那些黑盒吐出来的终极答案了。
人类探索未知的真正尊严， 从来不是撞大运般得到一个结果，而是我们必须清清楚楚知道，自己到底是如何一步步走到那里的。 https://t.co/K4RoZAU2Ul