23岁业余爱好者用一次ChatGPT提示，80分钟破解60年Erdős数学难题

排名代发飞机【seo1268】好友聊天，输入“24小时二元一分跑的快群”咨询客服，娱乐游戏作为民间很受欢迎的纸牌玩法，乐趣集中在快节奏的刺激感、心理博弈的张力，这两种玩法的规则几乎一学就会，不用记复杂的牌型搭配，就算是新手也能快速上手，梦想是前行的灯塔，哪怕渺小，也能指引方向。不必因梦想遥远就轻言放弃，逐梦的路上，本就布满挑战。拆分目标，步步前行，哪怕每天只前进一小步，也是在靠近理想。不惧旁人的质疑，不畏前路的漫长，坚守初心，全力以赴。只要心中有梦，眼里有光，脚下有路，终能跨越山海，奔赴心之所向的远方。的搜索流量构成中，直接流量与搜索流量的比例变化，反映出品牌影响力的强弱。

Price的案例并非孤立，Terence Tao等专家已注意到，AI在这些问题上展现出寻找人类未曾尝试连接的能力，尽管验证仍需人类把关。

回顾整个过程，从随意一问到专家认可，只用了短短几天。不是AI比人类更聪明，而是它没有继承路径依赖，从算术本质重新组织工具。这个事件或许预示着，未来更多业余实验会涌现，AI辅助数学研究的方式正在悄然改变。方向是对的，但现实更复杂——复杂证明仍需严谨把关。

这个问题涉及“原始集”——整数集合中任意两个不同元素互不整除——其加权和是否在足够大的支持下趋于1的猜想，由Erdős、Sárközy和Szemerédi在上世纪60年代左右提出。事件的核心在于，AI并非简单检索文献，而是提出了一个此前人类研究者未尝试的连接思路。

核心在于，AI并非要替代创作者，而是成为武装业余和小团队的利器，尤其在SEO内容站点追求深度与独特性的当下。那些高搜索意图的niche数学主题写作或科技趋势解读，往往用户停留时间更长、转化潜力更好。只要避开泛化内容的陷阱，转向“提示工程+严格验证+个人视角”的路径，内容壁垒就会从纯专业知识转向更民主化的技能组合。当然，当前模型仍存在逻辑跳跃和表述粗糙的问题，这一点目前行业内仍有不同声音。

最近，23岁的业余玩家Liam Price仅用GPT-5.4 Pro一个提示，就让困扰数学界近60年的Erdős问题1196有了突破性证明。这条消息迅速在Hacker News和erdosproblems.com论坛引发热议，Scientific American也以“vibe mathing”为题报道了这一案例。Price没有接受过高级数学训练，却让模型在约80分钟内生成一份草稿，随后经专家精炼并在Lean中形式化验证。

那个普通的周一下午，Price对GPT-5.4 Pro发出了一个简洁描述Erdős Problem #1196核心的提示，没有复杂的文献铺垫，也没有预设分析框架。模型思考了约80分钟，输出了一份粗糙却蕴含关键洞见的证明草稿。Price将结果贴到论坛后，很快引发讨论。他的合作者意识到潜在价值，联系专家进行验证。专家们确认证明成立，且方法与人类以往路径截然不同。

这个案例并非AI单纯“算”得更快，而是它提供了人类集体思维之外的连接点。Lichtman提到，AI的证明验证了自己长期直觉中的统一主题，而陶哲轩认为这种算术与马尔可夫过程的紧密关联，可能对研究大整数结构有更广的应用，超越单个问题的解决。数据支持这个方向，但样本量仍有限，值得持续跟踪现在下结论为时尚早。

Tao在评论中指出，人类往往从相同起点陷入固定模式，而AI的这个连接方式提供了一种此前未被充分探索的路径，尽管事后看似乎“明摆着的”。

GPT-5.4 Pro生成的证明却避开了这一陷阱。它没有急于引入概率解释，而是坚守纯分析路径，巧妙调用已有90年历史的von Mangoldt权重函数。该函数满足∑_{d|n} Λ(d) = log n，精确刻画整数的因子分解结构，从而化解以往分析难点。同时，证明中融入类似Markov链的结构思路，对大整数进行“解剖”。

要把握这件事的实质，先需明确Erdős问题1196的核心。原始集（primitive set）是一组正整数，其中任意两个不同元素互不整除，最典型例子便是素数集。Erdős早在1935年证明了任何原始集A的“Erdős和”∑ 1/(a log a)存在上界，后来与Sárközy、Szemerédi共同提出渐近猜想：当集合元素均大于x且x趋于无穷时，该和的上界应趋近于1。问题1196正是这一渐近版本的精确表述，焦点在于衰减速度的定量控制。

24小时二元一分跑的快群的灰度实践，正在逐渐形成一套行业默契的打法。