菲尔兹奖得主解析AI数学能力：擅长找反例但难破深搜

围绕OpenAI模型近期在数学领域的多项成果，菲尔兹奖得主Timothy Gowers与陶哲轩撰文分析AI在数学研究中的定位。Gowers观察到AI的突破多集中在找反例或构造特殊对象而非正向证明，得益于大模型的跨领域知识整合能力；陶哲轩则指出AI缺乏剪枝能力，难以突破深层搜索树，这构成其数学研究的瓶颈。

2026-08-17 ~ 2026-08-17 · 2 条相关