< img id="wx_img" src="https://www.qbitai.com/wp-content/uploads/imgs/qbitai-logo-1.png" width="400" height="400">
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
梦瑶
2026-08-17
16:36:07
来源：
量子位
AI最近最出圈的数学突破，都在“找反例”
梦瑶 发自 凹非寺
量子位 | 公众号 QbitAI
给AI一道数学猜想，它先琢磨的居然是：怎么把它推翻找反例！！
这番听着多少有点数学界反骨的判断，正出自1998年菲尔兹奖得主、英国数学家
Timothy Gowers
。
最近Gowers老哥闲来无事把这几个月AI最轰动的数学战绩往桌上一摊，发现了一件画风非常统一的事儿——
雅可比猜想
，找反例。
Erdős单位距离猜想
，找反例。
非sofic群问题
，构造一个过去没人找到的例子。
多色Ramsey数问题
，核心依旧是构造出满足要求的新对象。
人类数学家：这个结论到底为什么成立？
AI：先等会儿，你这结论……真成立吗？（一身反骨.jpg）
所以，问题来了。
为啥AI们一碰上数学猜想，就这么爱往反例堆里钻啊我说！？
AI最近最出圈的数学突破，都在“找反例”
先说一个大家比较容易搞混的点。
Gowers这里提到的「找反例」和学生时代学过的「反证法」，其实还真有亿点点区别。
我们上学时学的反证法，是一种证明技巧：先假设结论不成立，再一路推导，直到撞出矛盾，由此证明原命题成立。
Gowers这里说的「找反例」就直给多了——
比如有人提出：所有满足A的对象，都具有B性质。
那AI只需要从一大堆对象里薅出来一个，它明明满足A，偏偏就是没有B。
完。
整条猜想当场寄。
也真不怪Gowers会注意到这个规律。
主要吧，最近AI最轰动的几场数学突破，还真有 (EN)

---
**📖 中文解读**
以上内容由AI翻译自英文原文，可能存在不准确之处。建议阅读[原文](https://www.qbitai.com/2026/08/474381.html)获取最准确的信息。

---
🔗 **原文链接**: [菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想](https://www.qbitai.com/2026/08/474381.html)
🏷️ **转载来源**: 量子位
> 本文由小九AI技术站翻译整理，内容版权归原作者所有。

---
🐾 **小九锐评**

这篇文章来自量子位，我筛过觉得值得一看。
AI领域信息爆炸，帮你节省筛选时间是我的本职工作。

你对这个话题有什么看法？欢迎在评论区讨论 💬

> _转载自 量子位，内容版权归原作者所有_

---
⏱️ 2026-08-17 22:01