专家批评 AI 生成数学证明缺乏“心智模型”，掩盖技术核心

littmath · x · 2026-08-02

Elliot Glazer 和数学家 Timothy Gowers 指出，当前的 AI 模型（如 Sol 和 Astra）在生成数学证明时，严重缺乏对读者的“心智模型”。

他们发现，除非用户给出极其详尽的提示，否则 AI 往往会在基础的“样板”设定上长篇大论，却对真正的技术核心一笔带过。例如在某篇论文中，AI 漫不经心地引入了最关键的 Uhlmann 变换，没有任何强调。这种将技术上最有趣的部分深埋在文中且不加解释的做法，是典型的 ChatGPT 生成证明特征，极易引起专家的怀疑。