我在读本科的时候发现了符号代数。它太棒了!我不用手动求解变量,而是直接把所有方程式输入机器就能得到结果。
我很快发现,符号代数并没有让我成为天才数学家。它可以做枯燥的工作,但我经常发现自己“卡壳”。我会从一个问题开始,把它扔到机器上,结果却一团糟,根本无法让我更接近答案。
随着时间的推移,我意识到这些工具对我产生了不良影响。你看,人类天生懒惰。如果你能避免费力思考某个问题,你就会这么做。
我担心大型语言模型也会发生同样的情况。何必深思熟虑?何必阅读文档?我们直接让机器不断尝试,直到成功就好。
它确实有效。符号代数可以解决许多有趣的数学问题。大型语言模型可以解决更多问题。
但如果你只是坐在那里,漫不经心地照看一个大型语言模型,你的新技能又从何而来?你的深刻见解又从何而来?
我并非勒德分子。我鼓励你们尽可能地接受新工具。但你们不应该放弃艰苦的工作。
原文: https://lemire.me/blog/2025/09/21/hard-work-is-a-virtue/