数学不是符号游戏：本质是操控数学直觉，符号只是语义载体

mjdramstead · x · 2026-09-09

物理学家/作家 Michael Dramstead 引用「数学只剩机械化证明就不需要数学家了」的观点，提出多数「wordcel」没意识到：数学的根本是操控数学直觉（shape rotation），而非单纯的符号操作。符号之所以可解释，正是因为其语义根植于这些直觉——暗指当前 LLM 的符号推理缺少真正的语义根基。这一讨论触及 AI 能否做真正数学研究的核心争议。