ChatGPT“氛围数学”现象解读：业余爱好者如何用AI破解60年Erdős难题

这要求写作者从单纯的记录者，转变为有观点的观察者。

这件事表面上看是AI又一次“赢了”，但实际比单纯的技术炫耀复杂得多，它正在悄然改变谁能真正参与顶级数学研究的门槛。

从更广视角看，这类案例正在悄然改变数学研究的节奏。业余者用单次提示就能贡献新思路，Erdős问题网站或许会迎来更多类似投稿，Lean等工具则加速了验证环节。但核心判断不变：AI擅长开辟新连接，却难以独立产出可直接发表的严谨证明。人类专家在修复错误、深化洞见方面的作用，不仅没有削弱，反而因AI的存在而更显关键。这一点目前行业内仍有不同声音，数据支持协作方向，但样本量仍有限，值得持续观察后续发展。

这个证明随后被上传到erdosproblems.com，经包括Terence Tao在内的专家审查、精炼和形式化验证，最终确认解决了这个困扰数学家近60年的原始集猜想。原始输出粗糙，需要人类像筛选沙金一样提炼逻辑，但核心连接确实成立。这件事远比“AI又赢了”复杂，它暴露了人类在熟悉路径上的集体心理障碍。

主流报道和社区讨论大多聚焦于“23岁门外汉借助ChatGPT一次性破解老难题”的戏剧性，陶哲轩的评论被反复引用，他强调人类此前习惯的标准序列从起点就隐含了错误转向。Jared Lichtman作为该问题家族的顶尖专家，曾耗费七年时间与顶尖合作者推进相关工作，却发现AI输出的核心洞见提供了一种全新视角。

一个23岁没有高等数学训练的年轻人，用一次随意的ChatGPT提示，就让一个困扰数学界60年的Erdős原始集问题迎来了新证明。这件事最初在erdosproblems.com论坛上悄然出现，却迅速吸引了包括陶哲轩在内的专家目光。原始集指的是正整数集合中任意两个元素互不整除，类似素数的推广概念，Erdős为这类集合定义了一个“分数”——对集合中每个数n计算1/(n log n)的求和，并猜想其渐近行为存在特定上界。

Hacker News的深层辩论焦点在于AI是否展现了“真实智能”。部分参与者将其描述为“vibe-maths”式的直觉联想——模型在高维空间中搜索到有效连接，却难以独立完成形式化验证。另一些声音则看到新型潜力：AI没有人类研究者常见的“心理阻挡”，直接尝试了不同于标准序列的路径。Tao在评论中指出，人类此前在第一步就集体拐了个小弯，而AI避开了这些预设约束，揭示了整数结构与Markov过程之间更紧密的关联。

这说明问题驱动学习在AI辅助下远胜传统刷题模式：从一个具体开放问题出发，反复迭代提示，让模型尝试不同连接，比按部就班读教材更能激发新洞见。

最近数学圈里流传着一个让人意外的故事：23岁的业余爱好者Liam Price，没有接受过高等数学训练，却在闲暇时把Erdős问题1196随意抛给ChatGPT Pro。AI在约80分钟内给出了一个证明框架，经上传到erdosproblems.com后，菲尔兹奖得主Terence Tao等专家介入审查并精炼，最终确认解决了这个困扰数学家近60年的原始集猜想。

AI这次的路径并非简单计算辅助，而是直接连接了数论中经典工具，暴露了人类长期路径依赖下的认知盲区。

原始集指一组正整数，其中任意两个不同元素互不整除，最经典例子便是素数集。Erdős早在1935年证明任何原始集的∑ 1/(a log a)有上界，后来与合作者提出更强猜想：当考虑仅由大于x的大数构成的原始集时，这个和是否趋向于1的上界。问题1196正是这一渐近版本的精确表述，60年来吸引了包括Jared Lichtman在内的顶尖专家反复尝试，却始终未能突破。

但现实更复杂，单纯的技术优化已经无法满足日益挑剔的搜索用户。