菲尔兹奖得主Timothy Gowers：LLM解决著名数学问题几乎全靠反例而非证明
talkingdev • 2026-08-16
2178 views
近日，菲尔兹奖得主、知名数学家Timothy Gowers在其博客发文探讨大语言模型（LLM）在数学研究中真正擅长的任务类型。他指出，目前LLM参与解决的许多著名数学问题，几乎都是通过构造反例来完成的，而不是给出完整严格的证明。这一观察与公众对AI“自动证明定理”的预期形成反差。Gowers认为，LLM更擅长在庞大搜索空间中寻找反例、辅助验证猜想和进行模式匹配，但在需要长链条逻辑推理与严谨证明的场景中仍存在明显局限。该观点引发对AI数学能力边界的讨论，也提示研究人员应更理性地看待LLM在数学发现中的角色。