AI数学突破多是暴力搜索反例，而非洞察定理

jonippolito · x · 2026-10-13

Jon Ippolito 在 Substack 撰文指出，今年 AI 在数学上的诸多「突破」本质是暴力搜索找到的反例，而非基于洞察构建的定理，理解这一点有助于把握 transformer 模型的能力与局限。

作者提出「草甸 vs 山脊」框架：机会型问题（如猜密码）有大量候选解且验证简单，适合生成式 AI 以光速暴力枚举；规定型问题（如配药）错一次代价高昂，需要沿唯一「山脊」求解，AI 在此风险很大。他把大语言模型比作「概率测量员」——对海量地标取方位后把图钉插在中间，不管那里是否真有东西；温度调高时它永不疲倦地插钉，因此擅长测绘草甸，却在山脊上危险。