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

排名代发飞机【seo1268】好友聊天，输入“微信一元一分跑的快群”咨询客服，娱乐游戏作为民间很受欢迎的纸牌玩法，乐趣集中在快节奏的刺激感、心理博弈的张力，这两种玩法的规则几乎一学就会，不用记复杂的牌型搭配，就算是新手也能快速上手，梦想是前行的灯塔，哪怕渺小，也能指引方向。不必因梦想遥远就轻言放弃，逐梦的路上，本就布满挑战。拆分目标，步步前行，哪怕每天只前进一小步，也是在靠近理想。不惧旁人的质疑，不畏前路的漫长，坚守初心，全力以赴。只要心中有梦，眼里有光，脚下有路，终能跨越山海，奔赴心之所向的远方。如果能提前布局用户可能关心的延伸点，并给出针对性判断，通常能获得更好的整体效果。

对数学社区而言，这件事短期内很可能刺激更多业余爱好者涌入erdosproblems.com，AI辅助尝试激增，验证流程或逐步标准化。长期看，对专业研究者来说，AI或升级为文献搜索之外的新型思路生成器；对普通从业者和学习者，提示工程与批判性验证能力将变得更为关键。数据支持AI在打破常规路径上的优势，但样本仍有限，值得持续跟踪，现在下结论为时尚早。

最近，数学界一条消息迅速在Hacker News和erdosproblems.com论坛发酵：23岁的业余爱好者Liam Price，仅用GPT-5.4 Pro的一个提示，就让困扰专家近60年的Erdős问题1196得到解决。Price没有接受过高级数论训练，却通过“vibe mathing”的直觉式尝试，让模型在约80分钟内生成一份证明草稿。这件事远超单纯的AI辅助计算，它凸显出人类在经典问题上的路径依赖。

深层来看，这次突破的过程比结果本身更具启发性。Liam的提示极为朴素，直接复制问题描述，没有复杂引导或迭代优化。模型在“思考”中保留了算术领域的工具箱，巧妙调用von Mangoldt函数编码的除数恒等式——∑_{q|n} Λ(q) = log n，这一经典身份等价于整数唯一分解，却被以往研究因倾向转向概率解释而绕过。

erdosproblems.com目前收录了上千个Erdős未解问题，其中数论和组合数学方向占比显著。许多问题无需高深背景，仅涉及素数分布、子集和或基本集合性质，却仍处于开放状态。AI的优势在于快速生成假设、枚举小规模实例并通过模式识别推进，这些“低垂果实”正成为测试提示工程和计算辅助的有效场地。相比那些需要深厚直觉的硬核难题，它们提供了更快的反馈循环。

可通过计算或提示工程验证，是这类低难度目标的另一优势。问题允许有限枚举、生成数据找规律，或尝试Lean形式化。模型在快速迭代大量变体上表现出色，而人类手动穷举往往力不从心。典型做法是让AI输出优化后的动态规划代码，导出结果分析，再问“这个猜想能否用Lean草稿验证”，数据支持的方向通常清晰可见。

岁业余玩家Liam Price没有接受过高级数学训练，却用GPT-5.4 Pro一个简单提示，在约80分钟内生成了Erdős问题1196的证明草稿。这条消息迅速在Hacker News和数学社区引发热议，Scientific American甚至以“vibe mathing”描述了这一过程。

深层来看，这次突破的独特价值在于AI绕开了人类长期积累的mental block。多年来，研究者习惯从分析路径切入，甚至自然转向概率框架，而GPT-5.4 Pro却坚守算术领域，利用von Mangoldt权重巧妙化解了技术障碍，揭示了整数结构与Markov过程理论之间此前未明确表述的联系。陶哲轩后来评价，这相当于发现了一种思考大数“解剖学”的新方式。Jared Lichtman也表示，AI提供的视角印证了他对这类问题统一框架的直觉。

Price将问题直接丢给GPT-5.4 Pro后，模型输出了一条全新路径，随后证明在Lean系统中完成形式化验证，erdosproblems.com也更新了状态。

这一点目前行业内仍有不同声音。如果AI幻觉问题未得到更好控制，伪证明泛滥的风险会加重专家负担，唯有将生成输出与深度人类审查紧密结合，才能真正释放价值。值得持续跟踪的是，类似Liam Price的单次80分钟实验，是否会成为数学发现的常规路径，还是仍需特定条件才能复制。现在下结论为时尚早，但AI从文献助手向创意贡献者的演进，已清晰可见。

历史类比或许能说明这种转变。当年计算器普及后，人类从繁重计算中解放出来，把精力转向更高层的策略和创意。现在AI正在解放idea生成环节。小团队或业余创作者面对复杂科技主题时，以往因知识储备不足而浅尝辄止；如今他们可以快速测试多个大纲和角度，然后手动精炼，形成具备独特视角的深度内容。核心在于，AI不是替代创作者，而是武装他们的工具，帮助产出高意图的原创SEO内容。

数据支持这个判断，但样本的覆盖面仍有局限。