转贴：AI只是工具，真正重要的，是使用工具的那个人
发表于 ： 周一 7月 27, 2026 7:46 pm
菲尔兹奖刚公布，北大同班同学王虹和邓煜同时获奖，刷屏了。
但真正让我停下来想了很久的，是邓煜颁奖后聊AI的一段话。
他说：「AI现在已经能帮助数学家做证明了，但它永远不能替代人的独立思考。」
这话从别人嘴里说出来可能像鸡汤，但从一个刚拿了菲尔兹奖的顶尖数学家嘴里说出来——你最好认真听。
━━━ 数学家其实是最早用AI的那批人
四年前DeepMind的AlphaTensor就用AI发现了新矩阵乘法算法。后来有了Lean，能做数学证明的AI。现在很多顶尖数学团队都在用AI做辅助证明。
邓煜自己也用。用来干嘛？算那些繁琐重复的推导步骤、检查哪里算错了、快速验证一个思路对不对。这些事情人做要好几天甚至好几周，AI几分钟。
说白了就跟当年的计算器一样，工具升级了，但用工具的还是那个人。
━━━ 但邓煜区分了「AI能做的」和「人必须做的」
AI能做的：
• 帮你算、帮你查、帮你验证
• 帮你省大量时间和精力
AI不能做的：
• 帮你「提出一个好问题」
• 帮你「创造一个新的研究方向」
• 帮你「在所有人都觉得没有路的地方，走出一条路来」
这些叫独立思考，是任何一个领域最顶尖那批人最核心的能力。
━━━ 最危险的事：你变成了「AI输出的校对员」
现在很多人用AI用出了依赖症。写代码让AI写、写文章让AI写、做PPT让AI做，连思考问题都要先问问AI怎么看。
看起来效率很高，但时间一长你会发现：你越来越不会自己思考了。AI说什么你信什么，AI给什么答案你用什答案。你从一个「思考者」变成了一个「AI输出的校对员」。
这才是最要命的。
━━━ 所有伟大的创造，都始于「无用」的思考
邓煜还有一句话我特别认同：「很多最伟大的数学发现，一开始看起来都是没用的。」
真正突破性的创造，从来不是按部就班算出来的。它往往来自某个人在某个瞬间，一个看起来毫无用处的、莫名其妙的、甚至有点傻的想法。
这个想法AI想不出来。
因为AI所有的输出都基于过去已有的数据，永远在「已知」范围内打转。而真正的创造是跳到「未知」里去——所有人都觉得走不通的时候你偏要走，所有人都觉得没意义的时候你偏要研究。
这种「反常识」的、「无用」的、「冒险」的思考，AI永远学不会。它本质上是个超级归纳总结机器，能把已有的东西做得越来越极致，但它跳不出去。它永远不会提出一个奇怪的问题，不会走一条看起来走不通的路——而所有伟大突破恰恰都从这里开始。
━━━ 邓煜的三句话
① 把AI当计算器用，别把AI当大脑用。
所有机械重复繁琐的事全交给AI。但所有需要判断、需要选择、需要创造的事，自己来。
② 用AI省出来的时间要用来思考，不是用来摸鱼。
省下的时间用在AI做不了的事情上，用在更深度的思考上。
③ 永远不要停止独立思考。
可以用AI但不能依赖AI。可以让AI帮你干活，但不能让AI帮你思考。
━━━ AI是一面镜子
对会用的人来说，它是最强放大器——一个人加AI能顶十个人甚至一百个人。原来需要十年的研究现在一年做完。
对不会用的人来说，它是最强麻醉剂——帮你把所有事都做了，你什么都不用想，舒舒服服。时间长了你就废了。
最后会被取代的，从来不是会用AI的人，而是那些被AI代替了思考的人。
「AI永远只是工具。真正重要的，永远是使用工具的那个人。」
但真正让我停下来想了很久的，是邓煜颁奖后聊AI的一段话。
他说：「AI现在已经能帮助数学家做证明了，但它永远不能替代人的独立思考。」
这话从别人嘴里说出来可能像鸡汤，但从一个刚拿了菲尔兹奖的顶尖数学家嘴里说出来——你最好认真听。
━━━ 数学家其实是最早用AI的那批人
四年前DeepMind的AlphaTensor就用AI发现了新矩阵乘法算法。后来有了Lean，能做数学证明的AI。现在很多顶尖数学团队都在用AI做辅助证明。
邓煜自己也用。用来干嘛？算那些繁琐重复的推导步骤、检查哪里算错了、快速验证一个思路对不对。这些事情人做要好几天甚至好几周，AI几分钟。
说白了就跟当年的计算器一样，工具升级了，但用工具的还是那个人。
━━━ 但邓煜区分了「AI能做的」和「人必须做的」
AI能做的：
• 帮你算、帮你查、帮你验证
• 帮你省大量时间和精力
AI不能做的：
• 帮你「提出一个好问题」
• 帮你「创造一个新的研究方向」
• 帮你「在所有人都觉得没有路的地方，走出一条路来」
这些叫独立思考，是任何一个领域最顶尖那批人最核心的能力。
━━━ 最危险的事：你变成了「AI输出的校对员」
现在很多人用AI用出了依赖症。写代码让AI写、写文章让AI写、做PPT让AI做，连思考问题都要先问问AI怎么看。
看起来效率很高，但时间一长你会发现：你越来越不会自己思考了。AI说什么你信什么，AI给什么答案你用什答案。你从一个「思考者」变成了一个「AI输出的校对员」。
这才是最要命的。
━━━ 所有伟大的创造，都始于「无用」的思考
邓煜还有一句话我特别认同：「很多最伟大的数学发现，一开始看起来都是没用的。」
真正突破性的创造，从来不是按部就班算出来的。它往往来自某个人在某个瞬间，一个看起来毫无用处的、莫名其妙的、甚至有点傻的想法。
这个想法AI想不出来。
因为AI所有的输出都基于过去已有的数据，永远在「已知」范围内打转。而真正的创造是跳到「未知」里去——所有人都觉得走不通的时候你偏要走，所有人都觉得没意义的时候你偏要研究。
这种「反常识」的、「无用」的、「冒险」的思考，AI永远学不会。它本质上是个超级归纳总结机器，能把已有的东西做得越来越极致，但它跳不出去。它永远不会提出一个奇怪的问题，不会走一条看起来走不通的路——而所有伟大突破恰恰都从这里开始。
━━━ 邓煜的三句话
① 把AI当计算器用，别把AI当大脑用。
所有机械重复繁琐的事全交给AI。但所有需要判断、需要选择、需要创造的事，自己来。
② 用AI省出来的时间要用来思考，不是用来摸鱼。
省下的时间用在AI做不了的事情上，用在更深度的思考上。
③ 永远不要停止独立思考。
可以用AI但不能依赖AI。可以让AI帮你干活，但不能让AI帮你思考。
━━━ AI是一面镜子
对会用的人来说，它是最强放大器——一个人加AI能顶十个人甚至一百个人。原来需要十年的研究现在一年做完。
对不会用的人来说，它是最强麻醉剂——帮你把所有事都做了，你什么都不用想，舒舒服服。时间长了你就废了。
最后会被取代的，从来不是会用AI的人，而是那些被AI代替了思考的人。
「AI永远只是工具。真正重要的，永远是使用工具的那个人。」