AI Isn't Outthinking Mathematicians. It's Out-Remembering Them

文章把模型在数学题上的强表现拆成模式记忆、相似题检索与已有证明重组，质疑它已形成独立数学洞见的说法。这个判断提醒读者区分答案难度与问题新颖度：训练语料中存在邻近结构时，漂亮推导未必意味着模型发现了新的论证。论点的检验标准应是模型面对真正分布外定义、缺少现成模板时，能否稳定提出并验证中间引理。