菲尔兹奖得主：AI数学突破主要靠找反例

AI 摘要

菲尔兹奖得主Timothy Gowers指出，近期AI在数学领域的重大突破多通过寻找反例实现，如OpenAI模型解决Erdős单位距离问题、Claude协助发现雅可比猜想反例等。Gowers认为AI擅长在巨大搜索空间中寻找特殊对象，但缺乏人类数学家的直觉判断力，并预测AI将快速进步。

正文节选

菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想 AI最近最出圈的数学突破，都在“找反例” 梦瑶 发自 凹非寺 量子位 | 公众号 QbitAI 给AI一道数学猜想，它先琢磨的居然是：怎么把它推翻找反例！！ 这番听着多少有点数学界反骨的判断，正出自1998年菲尔兹奖得主、英国数学家Timothy Gowers。 最近Gowers老哥闲来无事把这几个月AI最轰动的数学战绩往桌上一摊，发现了一件画风非常统一的事儿—— 雅可比猜想，找反例。 Erdős单位距离猜想，找反例。 非sofic群问题，构造一个过去没人找到的例子。 多色Ramsey数问题，核心依旧是构造出满足要求的新对象。 人类数学家：这个结论到底为什么成立？ AI：先等会儿，你这结论……真成立吗？（一身反骨.jpg） 所以，问题来了。 为啥AI们一碰上数学猜想，就这么爱往反例堆里钻啊我说！？ AI最近最出圈的数学突破，都在“找反例” 先说一个大家比较容易搞混的点。 Gowers这里提到的「找反例」和学生时代学过的「反证法」，其实还真有亿点点区别。 我们上学时学的反证法，是一种证明技巧：先假设结论不成立，再一路推导，直到撞出矛盾

发布时间：2026-08-17 16:36

抓取时间：2026-08-17 17:24

来源机构：量子位