丘成桐：基础科学的进展，是少数人思考带来的微分进步；
人工智能是积分效应，聚合人类有史以来所有的知识与思考。
「AI 对问问题这件事并不太在行。现在它所能做的，是解答一些已经存在的问题。」解题是被动执行，提问是主动创造。
「很多 AI 方法并不自然，是因为底层的数学理论还没有完全理顺。」模型可以拟合现象，但缺少严谨数理支撑就无法理解因果、洞悉结构。
AI：化简遍历、海量试错、机械演算、定理核验；人类：提出猜想、搭建框架、思辨机理、判定价值。
利用归利用，理解归理解。工具尽可复用，真理必须自悟——依赖机器结论而放弃自主推演，丢掉的是数学直觉这个不可复刻的核心资产。