菲尔兹奖得主解析 AI 数学研究：专长竟是找反例

量子位 · wechat · 2026-08-17

菲尔兹奖得主 Timothy Gowers 观察发现，近期 AI 在数学领域的突破大多集中在“找反例”或“构造特殊对象”，而非传统的正向证明。这是因为大模型拥有跨领域知识整合能力和低成本试错的优势，擅长在海量空间中搜索特定解法。然而，AI 目前仍缺乏人类数学家的“直觉”，难以高效判断路径价值。Gowers 认为，当 AI 能提出全新方法论而非仅仅是找到答案时，才算真正进入顶级数学创造阶段。