没有数学博士也能参与Erdős问题解决的AI时代

看到“广东一元1分红中麻将群”_广东一元1分红中麻将群万州论坛在不同搜索引擎的表现差异，提醒我们不能只盯一个平台。

这个案例最值得注意的，不是AI运算速度，而是它打破了人类思维的mental block。60年难题并非数学本身太难，而是路径依赖让大家绕不开老路。AI一次提示就绕了过去，提供的连接点在文献中虽有零星暗示，却从未被如此直接应用。数据支持这一方向，但样本仍有限，值得持续跟踪现在下结论是否为时尚早。

一个23岁没有高等数学训练的年轻人，把一个开放问题随意丢给ChatGPT GPT-5.4 Pro，结果模型在80分钟内给出了一个全新的证明思路。这件事发生在最近的erdosproblems.com论坛上，迅速引发了数学社区的讨论。60年来，顶尖学者围绕Erdős原始集问题的精细渐近行为尝试了多种分析路径，却始终未能完全解决，而这一次，一个业余爱好者的“vibe mathing”实验意外撬动了僵局。

深挖这一事件，真正戳中的是人类思维的集体盲区。Tao明确提到，大家习惯从标准路径出发，结果第一步就走错，导致后续努力事倍功半。AI没有这些先入为主的框架，反而能发现跨领域关联，比如将von Mangoldt函数以非传统方式嵌入问题求解。这对SEO内容创作者而言，是一个清晰信号：在处理数学、科技类niche主题时，传统依赖专业储备的做法正面临挑战。

斯坦福数学家Jared Duker Lichtman在评论中直言，ChatGPT的原始输出质量其实相当差，需要专家来梳理和理解其真正含义。他与Tao后续对证明进行了显著缩短和精炼，才提炼出核心洞见。目前该证明已在Lean系统中得到形式化验证，但整个过程高度依赖人类介入。

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

表面上，这起事件被解读为AI数学能力的又一次跃进。Hacker News和Scientific American的报道中，网友惊呼一个门外汉武装ChatGPT就能攻克专业难题，业余爱好者参与前沿研究的门槛似乎大幅降低。陶哲轩提到这个问题“可能比想象中简单”，Jared Lichtman这位曾投入七年精力研究原始集的数学家也表示，AI给出的答案出乎意料。

原始集（primitive sets）是指一组正整数，其中任意两个不同元素互不整除，最典型的例子便是素数集。Erdős早在1935年证明了任何原始集A的“Erdős和”∑ 1/(a log a)存在统一上界，后来与Sárközy、Szemerédi共同提出更强的渐近猜想：当集合中的数足够大（大于x后），这个和的上界应趋近于1，即∑_{a∈A, a>x} 1/(a log a) ≤ 1 + o(1)。

Erdős原始集指的是正整数集合，其中任意两个不同元素互不整除，类似于素数的推广。埃尔德什为这类集合定义了一个“分数”——对集合中每个数n求1/(n log n)的和，并猜想当集合仅由足够大的数构成时，这个和会趋近于某个特定界限。Jared Lichtman曾花七年时间推进相关上界证明，但更精细的渐近行为仍悬而未决。

Lichtman等人在primitive set簇的工作已提供类似方法论参考，AI在此基础上延伸时，偶尔能找到非明显连接。这个逻辑成立，但现实更复杂，人工验证仍不可或缺。

这次案例提醒我们，AI在数学证明中的定位正在发生微妙但重要的偏移。它开始避开人类习惯路径，提供全新视角。但归根结底，真正推动进步的仍是人与AI的协作，而非单纯取代。未来，这一演进会如何重塑研究范式，仍是一个开放的问题。

这种杠杆目前还比较隐蔽，值得持续跟踪。