「采样不等于理解」：AI 能产出证明但难替代数学家

gerardsans · x · 2026-08-26

gerardsans 在讨论中提出：当前前沿 AI 做数学类似 AlphaGo 的第 37 手——它做的是计算与采样，可以从大量生成的证明中筛出少数能被验证的，但可能没有任何一个被真正「理解」。采样不是真理，也不产生理解。

因此他认为 AI 无法替代数学家及相关职业，因为缺乏真正的理解所需的判断力和切身体验；从业者应把 AI 当工具利用，并且如果证明是对的，就该庆祝它——科学看重的是理解，而非自尊或地位。