顶尖数学家：大模型是强计算器，但缺乏创造性思维

数学直觉不可替代

剑桥大学菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）与普林斯顿高等研究院数学家彼得·萨纳克（Peter Sarnak）共同指出，当前大型语言模型在数学领域展现出较强的‘计算性’能力——例如快速检索、复现和组合已知定理与解题技巧，但在提出原创性猜想、构建新理论框架或发展深层数学直觉方面表现薄弱。

创造性源于非形式化理解

二人强调，真正的数学突破往往依赖对概念间隐性联系的非形式化把握、错误路径中的启发式反思，以及跨领域类比的跳跃性思维，而这些恰恰是当前LLM训练范式难以建模的能力。模型输出看似合理，实则缺乏目标导向的探索意识与概念重构意愿。