陶哲轩在 Caltech 演讲中批评单纯追求用 AI 解题
Rohan Paul 转发陶哲轩在 Caltech 演讲 Math 2.0 的幻灯片内容。陶哲轩指出，进一步盲目优化问题求解对数学的长期健康有害，数学家并非只专注于解决开放问题；开放问题在纯数学中是灯塔而非终点，尝试解题过程中的经验往往比最终解本身更有价值，而用自动化工具过早抵达这些灯塔会破坏对其他路径的探索。
Terence Tao's slide from the lecture he gave yesterday evening at Caltech “Math 2.0”
AI can now crack open problems that were once out of reach, and he says that is the wrong thing to celebrate on its own.
Basically he says chasing problem-solving alone is hurting math.
> “Further blind optimization of problem-solving alone is now actively harmful to the long-term health of mathematics.”
> “Contrary to popular opinion (or some of our own marketing), mathematicians are not singularly focused on solving open problems.”
> “Particularly in pure mathematics, open problems serve as “lighthouses”: not destinations to be reached in and of themselves, but as useful guides to explore the mathematical landscape around these problems.”
> “The lessons learned while attempting to solve these problems — whether they succeed, fail, or achieve partial progress — are often more valuable than the final solution to the problem itself.”
> “Reaching these lighthouses prematurely by automated tools can disrupt the exploration of the paths not taken, and sterilize the surrounding field.”
“Indiscriminate use of AI to solve problems in a non-renewable fashion damages the long-term health and progress of the field, as well as safe transfer to messier, real-world applications.”
来源：rohanpaul_ai · x.com