23岁业余爱好者用一次ChatGPT提示，攻克60年Erdős原始集难题全过程

当提炼精华的搜索结果呈现越来越个性化和综合信号依赖的特点时，单一维度或单一页面的优化效果边界正在明显收窄。

岁无高等数学背景的Liam Price，在一个普通下午仅用一次提示，就让ChatGPT Pro（GPT-5.4）在约80分钟内输出了Erdős问题1196的完整证明框架。该问题源于1966年Erdős、Sárközy和Szemerédi的猜想，围绕“原始集”——即正整数集合中任意两个不同元素互不整除——探讨其倒数对数和在较大整数上的渐近行为。

这一案例最值得注意的地方，是AI如何在无需深厚领域知识的前提下，提供人类集体思维盲区之外的连接点。传统研究中，从分析直接转向概率的“赌注”看似自然，却遮蔽了保留纯分析框架的可能性。von Mangoldt权重的创新使用，巧妙编码了整数唯一分解的性质，化解了先前卡住的困难。数据支持这一方向：Lichtman七年推进的上界与AI的一次性输出形成鲜明对比，70%以上的类似尝试仍停留在规划阶段，而规模化成功案例极少。

包括Terence Tao在内的专家随后介入审查与精炼，最终确认这一结果。

这份AI生成的证明没有沿袭数学家们常见的从概率或极限工具直接切入的习惯，而是停留在算术层面，创新性地运用了von Mangoldt函数。这个经典数论工具通常用于连接素数与黎曼ζ函数，此次却以意外方式编码整数唯一分解的恒等式，将除数关系重构为带权马尔可夫链，从而绕开了此前卡住的分析困难。陶哲轩等数学家指出，人类多年来在“第一步”就集体走偏，而AI没有继承这种路径依赖。

Erdős原始集指正整数集合中任意两个不同元素互不整除，类似素数的推广。保罗·埃尔德什定义了其“分数”——对集合中每个n计算1/(n log n)的和，并猜想在足够大的数上这个和趋近于特定常数。Jared Lichtman此前花七年推进相关上界，却始终卡在更精细的渐近行为上。Liam Price则是个典型业余爱好者，他和朋友Kevin Barreto常在erdosproblems.com上随意实验，把开放问题扔给AI看结果。

Hacker News和Scientific American迅速跟进报道，网友惊叹“随便一个提示就搞定”，而Terence Tao等专家则指出，这远不止AI算题那么简单，它揭示了人类长期路径依赖下的集体偏差。

其核心恒等式编码了整数唯一分解定律，AI以人类未曾尝试的方式将其与原始集的倒数对数和收敛问题拼接起来，最终证明对于任意原始集A，当考虑大于x的元素时，∑ 1/(a log a) ≤ 1 + O(1/log x)。这个思路绕过了人类常见的路径依赖，类似于AlphaGo的Move 37，不是优化现有招式，而是开辟新径。

但这里存在明显盲区。AI生成的证明初稿往往逻辑跳跃、表述粗糙，缺乏严谨的上下文衔接。数据支持AI在连接不同领域时的潜力，但样本量仍有限，许多尝试者反馈迭代多次后仍卡在验证环节。这一点目前行业内仍有不同声音，我的判断是——但这个判断可能需要修正——成功的关键不在于模型本身，而在于人类能否有效拆解问题并进行批判性把关。

Tao指出，这相当于拒绝了从分析到概率的“自然 gambit”，而保留了一种更反直觉却高效的解析表述。

表面信息往往聚焦于戏剧性的一面。Scientific American和Forbes等媒体报道了这个“业余爱好者武装ChatGPT破解难题”的故事，Hacker News和Reddit的r/math版块上充斥着惊叹声，有人直接称其为数学民主化的标志性时刻。Terence Tao在评论中指出，AI的路径避开了人类研究者长期陷入的初始固定模式，转而用von Mangoldt函数以一种非标准方式处理分析困难。

免押金真人红中麻将群的演进路径，正逐步从概念验证转向实际价值验证。