-
日期: 2026-04-27 | 来源: 新智元 | 有0人参与评论 | 字体: 小 中 大
7年的专业研究，输给了一次「vibe mathing」。一个毫无高数背景的23岁年轻人，靠一段提示词，让ChatGPT在80分钟内破解了困扰人类60年的猜想。陶哲轩承认：我们第一步就走偏了。
困扰数学界60年的「世纪猜想」，竟被一个门外汉给攻克了！
他年仅23岁，从未接受过任何高等数学训练，仅凭一个提示词，让ChatGPT破解了这一难题。
陶哲轩看完证明后，只说了一句话——
过去60年人类都看过这道题，所有人在第一步就集体走偏了。
23岁门外汉，让全网破防
故事的主人公叫Liam Price。
他并非「数学科班」出身，履历中找不到任何高等数学学位的加持。
然而，在2025年底，他与剑桥大学数学系的大二生Kevin Barreto联手开启了一场近乎「疯狂」的实验：
从数学界着名的Erd?s Problems网站中随机抽取未解难题，直接丢给ChatGPT。
不做前置研究，不读相关论文，不从某个分析框架入手。
就是凭直觉，用最朴素的语言描述问题，让大模型自己找路。
圈子里给这种方法起了个名字：「vibe mathing」。
在#1196之前，Price和Barreto已经用类似方法在几个较小的问题上取得了进展，陆续引起了一些关注。
OpenAI听说后，给他们俩送了ChatGPT Pro订阅，鼓励继续挖掘。
这个举动，后来被证明，是2026年数学史上回报率最高的一笔投资。
但没人想到，真正的大鱼会来得这么快。
这次他们盯上的Erd?s Problem #1196，关于「primitive sets」：一个集合里任意两个元素互不整除。
60年猜想证毕，ChatGPT仅80分钟
在这个问题上走得最远的人类数学家，是牛津大学的Jared Lichtman。
他在原始集问题上苦干了整整7年，发表了多篇重要论文，把已知上界一步步推到了约1.399。
距离最终证明，似乎只差最后一脚。但这「最后一脚」，7年都没能踢进去。
没想到，Price将提示发出去，GPT-5.4 Pro推理80分钟，给出渐近1+O(1/log x)，一刀到底。
先把问题本身说清楚。
所谓「原始集」，就是一组正整数，其中任何一个数都不能被另一个整除。
比如{2, 3, 7, 12}，12能被2和3整除，所以不是原始集，而{2, 3, 7, 11}就是。
1968年，埃尔德什和合作者Sárk?zy、Szemerédi提出了一个猜想：关于原始集的一个特定求和式，存在渐近意义上的明确上界。
简洁的表述，58年的僵局。
更关键的不是速度差距，是路线差距。所有此前研究这个问题的数学家，包括Lichtman在内，都默认从解析数论的工具箱入手。
这条路看似自然，走了几十年，但它把思维锁死在了一个狭窄的通道里。
GPT-5.4 Pro走了一条完全不同的路：用马尔可夫链方法结合冯·曼戈尔特权重。
这两样东西在数论的其他分支里都是成熟工具，但从来没有人想到把它们用在原始集问题上。
耐人寻味的是，Price在接受Scientific American采访时坦言：GPT的原始输出「其实质量很差」。
证明冗长、混乱，逻辑跳跃随处可见。是Barreto和后来介入的专家，从一堆杂乱的推导中辨认出了那个关键的全新洞见。
Lichtman的评价很克制，但分量极重：「这需要专家去筛选，才能真正理解它在试图表达什么」。
然后他说了一句让整个圈子安静下来的话：「这是第一个达到埃尔德什之书水平的AI数学成果。」- 新闻来源于其它媒体，内容不代表本站立场！
-
原文链接
原文链接:
目前还没有人发表评论, 大家都在期待您的高见