当23岁小哥用ChatGPT解决60年数学难题时，数学家们集体沉默了
4月14日，星期一。伦敦的某个午后，23岁的Liam Price百无聊赖地打开ChatGPT，像平时一样随手扔了一道数学题进去。他不知道，这一扔，扔出了一个60年的回响。
世界上有一种数学叫Erdős
Paul Erdős，匈牙利数学家，人类历史上发表论文最多的人——超过1500篇。他一辈子到处跑，到谁家就睡谁家沙发，给谁家冰箱贴个方程式。他留下的不是遗产，是问题。
Erdős问题是数学界的"待办事项清单"。有些简单得像"帮我买瓶酱油"，有些难到你看到就想报警。而其中第1196号，是一个关于"原始集合"（primitive set）的猜想——困扰了数学界整整60年。
简单说，原始集合就是一组数，其中没有任何一个数能被另一个整除。质数集合天然就是原始集合，因为质数除了1和它自己，谁也分不了。Erdős给原始集合发明了一个"打分系统"——Erdős和。他证明了最高分不超过1.6，然后猜测：如果集合里的数字都很大，那分数会无限趋近于1。
2022年，Stanford的Jared Lichtman在他的博士论文中证明了最高分确实是1.6。但这个"趋近于1"的猜想，他做不动了。不只是他——所有做过的数学家，都卡在了同一个地方。
"人类集体走错了第一步"
UCLA的Terence Tao——当代最伟大的数学家之一，菲尔兹奖得主——在接受Scientific American采访时说了一句让人后背发凉的话：
"所有人都是从同一个起点出发的，然后大家在第一步集体走偏了。就好像有一道心理障碍，把所有人都挡在了同一条死路上。"
而Liam Price？他根本不知道这段历史。他不知道Erdős是谁，不知道Lichtman做了什么，不知道陶哲轩在关注这个领域。他只是——
把题目丢给了ChatGPT。
一个prompt。就一个。
ChatGPT（GPT-5.4 Pro）给出了一个答案。不是那种"让我想想"的废话，是一个使用了全新的数学方法的证明。
这个方法用了数学中一个已知公式——但它从未被应用在这类问题上。就像你一直用钥匙开门，而AI直接把门拆了。不，更准确地说——AI发现了一条你从没注意到的暗道。
Vibe Mathing：靠感觉玩数学
最有意思的不是AI本身，而是这个23岁小哥的态度。
Price和他偶尔合作的剑桥大二学生Kevin Barreto，从去年开始就干一件事：随机从Erdős问题网站上挑题，丢给免费版ChatGPT看它能搞出什么。他们管这叫 "vibe mathing"——靠感觉玩数学。
对，你没看错。一个23岁的业余爱好者和一个大二学生，用免费AI在数学问题上"随便玩玩"，就玩出了一个60年的突破。后来一位AI研究者实在看不下去了，给他们俩各送了一个ChatGPT Pro订阅——相当于给两个"民间数学家"发了官方装备。
AI没有替代数学家——它给数学家开了脑洞
Lichtman说了一句很关键的话：
"ChatGPT原始输出的证明质量其实很差。它需要专家来理解和提炼。"
这才是这个故事真正的妙处。
AI不是一个完美的数学家。它更像是一个疯狂的脑洞机器——它会想到人类想不到的路径，但这条路径是泥泞的、歪歪扭扭的，需要真正的数学家来铺路。AI是开矿的，人类是炼金的。
陶哲轩和Lichtman已经把这个证明精简提炼，并且发现了这个新方法的更广泛应用潜力。陶哲轩说："我们发现了一种新的大数解剖方式。这确实是一个不错的成就。"
"还不错"——从一个菲尔兹奖得主嘴里说出来，这基本就是"牛逼到爆炸"的意思。
给我们的启示
这个故事里藏着几个关于AI使用的重要信号：
1. AI的价值不在"做对"，在"想不同"
ChatGPT解决的不是一个计算问题，而是一个思路问题。它没有比人类算得更快——它找到了人类没想到的方法。这和AI编程工具一个道理：最厉害的不是帮你写代码，而是给你一个你没想过的架构。
2. 领域知识 + AI = 超级武器
Price不懂高等数学，但他拿到了答案。但答案需要Lichtman和Tao来验证和提炼。AI降低了创新的门槛，但没有降低验证的门槛。你用AI可以更快地试错，但你仍然需要判断力来筛选金子。
3. "随便玩玩"可能是最好的工作方式
vibe mathing——没有KPI，没有deadline，没有review committee。两个年轻人纯粹出于好奇在玩，反而搞出了学术界几十年没搞定的事。有时候最好的AI应用场景，就是你放松的时候随手一试。
延伸阅读
参考来源
- Scientific American - "Amateur armed with ChatGPT 'vibe-maths' a 60-year-old problem" (2026-04-24)
- erdosproblems.com - Problem #1196 解决方案
- Lichtman, J. D. - "A proof of Erdős's conjecture on sums of primitive sets" (2022)
妙趣AI · miaoquai.com · AI工具导航 + 踩坑实录 + 术语百科