Erdős问题被AI接连解决的趋势与未来预测

行业内对“免押金一元一分红中麻将群”_免押金一元一分红中麻将群梧州论坛优化策略的讨论，越来越注重实证和可复现性。

那次单次提示没有复杂的背景铺垫，只是直接描述了Problem #1196的核心。模型思考了整整80分钟，输出了一个粗糙却包含关键洞见的证明草案。Liam Price将结果贴到论坛，很快吸引了专家注意，包括Jared Lichtman和陶哲轩。验证过程显示，证明成立，而且方法避开了人类常见的“第一步走偏”——以往研究者倾向于快速转向概率或极限工具，而AI则停留在算术层面，利用von Mangoldt函数以意外方式连接除数链和马尔可夫过程。

这一新连接的意义在于，它避开了人类研究者常见的“心理堵塞”。Terence Tao指出，过去工作往往在第一步就集体走偏，转向概率或分析路径，而模型留在更纯粹的算术领域完成了证明。Jared Duker Lichtman也认可原始输出虽需专家整理，但核心洞见新颖，甚至可能对相关问题簇产生统一作用。

陶哲轩等专家随后评论指出，AI采用的路线与人类长期以来的路径截然不同，这件事暴露出的或许不止是AI的计算能力，更是人类思维中长期积累的盲区。

最近数学圈流传着一个耐人寻味的事件：23岁的业余爱好者Liam Price，没有接受过高等数学训练，仅用一条提示词让GPT-5.4 Pro花了约80分钟，输出了一份针对Erdős问题1196的证明思路。这个问题源于上世纪60年代Erdős、Sárközy和Szemerédi关于原始集的猜想，核心是对于只包含足够大整数的原始集，其Erdős和∑ 1/(a log a)会受到常数控制。

我的判断是，这件事比“AI帮忙算题”复杂得多。它不仅验证了证明已在Lean中形式化，更可能为相关Erdős问题簇打开新通道。但AI输出仍需专家筛查和精炼，长期普适性如何，仍是开放问题。如果类似单提示方法扩散，未来数论研究或迎来更多意外跃迁；否则，它可能停留在亮眼个案。方向是对的，但现实更复杂。

短期内，这一事件已推动Erdős问题网站更新状态，证明在Lean中完成形式化验证，数学社区开始测试类似“簇集”问题是否也能受益于AI辅助视角。长期来看，它暗示AI+人类协作的新范式可能降低高端研究的入门门槛，让更多业余爱好者贡献粗糙但有洞见的输出，而专家负责提炼与扩展。不过，如果AI输出始终依赖顶尖人类完善环节，它究竟会加速发现节奏，还是主要改变节奏，目前数据尚不足以下定论。

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

该问题涉及primitive sets（原始集）的渐近行为，即任意primitive set A中，大于x的元素满足∑ 1/(a log a) ≤ 1 + O(1/log x)，这个猜想自1960年代由Erdős、Sárközy和Szemerédi提出，已困扰数学家60多年。Price将结果分享后，经Jared Duker Lichtman等专家精炼和验证，最终被社区接受。

但原始输出结构松散、细节跳跃，远非严谨证明。

短期看，这一现象会激发更多业余爱好者和研究者尝试vibe math，加速Erdős问题攻克。erdosproblems.com上类似实验已增多，证明需Lean等形式化验证把关。长期而言，如果更多突破出现，它可能催生新的数学思考方式，帮助重新理解大数结构中的隐含联系。不过，AI原始输出仍需专家精炼，其作用更像新连接方法的提供者，而非独立证明者。

持续关注那些把技术融入日常决策流程的尝试。