Erdős问题与AI：从文献搜索到原创证明的演进

哪里有一块1分跑的快群在未来可预见一段时间内的发展空间和机会，将更多属于那些能够持续将行业趋势洞察、用户行为洞察快速转化为具体可落地执行的行动方案，并通过小步快跑、快速迭代的方式进行验证和优化的内容生产与搜索优化团队。

岁业余爱好者Liam Price在一个闲暇下午，仅用一个提示词就让GPT-5.4 Pro在约80分钟内输出了Erdős问题1196的全新证明思路。这个问题关注原始集（primitive sets）中元素满足无倍数关系的条件，其求和项1/(a log a)在下界x趋于无穷时的尾部衰减速率。此前人类专家围绕分析路径尝试多年，却因集体思维定式未能达成预期上界。

表面上，媒体和网友的反应集中于“取代”叙事。不少讨论直呼“AI秒杀数学家”“普通人靠提示词就能攻克60年难题”。Fields Medal获得者Terence Tao在评论中指出，这次解决暴露了人类在问题起点就集体走了一点小弯路，存在某种心理障碍，他认为AI意外连接了整数结构与Markov过程理论之间此前未被明确描述的联系。

事件曝光后，主流报道迅速聚焦“业余+AI破解60年难题”的戏剧性。媒体标题常突出Liam Price的非专业背景和单一prompt的简便性，网友在Hacker News、Reddit等平台热议AI是否会取代数学家，或仅是辅助工具。但这些讨论多停留在表面结果，较少触及AI证明中“意外关联”的生成机制，以及后续专家的精炼工作。原始输出往往粗糙，需要像筛沙般筛选有用部分，才能转化为严谨形式。

对比以往数学研究路径，人类专家倾向于将问题转移到实数域并大量使用分析工具，而AI生成的论证保留在算术领域，利用von Mangoldt函数等工具实现反直觉的处理。这一差异凸显了AI在突破习惯性思维上的潜力，但也暴露其边界——输出质量不稳定，严谨性仍需大量人工干预。目前erdosproblems.com已将问题1196标记为解决，归功于GPT-5.4 Pro在Price提示下的贡献，并附上专家后续讨论。

历史经验提供有益对照。过去AI在数学领域的不少成果，更偏向文献检索或已知技巧的重组，而非真正原创洞见。这次事件中，AI确实绕过了常规思维障碍，但正如Lichtman和Tao的介入所示，其输出仍需人类批判性验证和优化。社区中有人判断，如果只是“专家救场”模式，AI更像是高效的生产力工具；若能持续输出可直接验证的洞见，则可能真正加速数学进展。

对比整个精炼过程，AI的作用更像一个提供意外种子的工具，而非独立证明机。Lichtman和陶哲轩随后联手缩短证明长度，清理冗余步骤，并将核心想法表述得更清晰。最终，通过Lean定理证明器对精炼版本进行形式化验证，确认了其正确性。如今erdosproblems.com已将问题1196标记为已解决，归功于GPT-5.4 Pro在Price提示下的贡献，并附上专家讨论记录。

岁业余爱好者Liam Price没有高等数学训练，却在一个普通下午用ChatGPT（GPT-5.4 Pro）一个Prompt，输出了Erdős问题1196的证明草稿。专家包括Terence Tao和Jared Lichtman验证后确认核心思路有效，这件事迅速在Hacker News和Scientific American等平台传播开来。Erdős problems网站已将该问题标记为已解决，并启动Lean形式化验证。

AI没有沿袭人类常见的分析路径，而是意外地应用了von Mangoldt函数与马尔可夫链的组合，绕开了此前研究者集体踩过的坑。Terence Tao等专家后续验证并精炼了输出，确认了其新颖性。这件事表面上看是数学领域的意外突破，实际却直指内容创作领域的一个长期痛点：传统思维框架往往限制了niche话题的挖掘深度。

岁业余爱好者Liam Price没有高等数学训练背景，却在一个普通下午用ChatGPT（GPT-5.4 Pro）的一个Prompt，输出了困扰数论界近60年的Erdős问题1196证明。专家包括Terence Tao和Jared Lichtman验证后确认有效，这个原始集相关猜想终于有了肯定解答。表面看是“业余+AI”打破纪录，但更深层意义在于AI绕开了人类长期依赖的分析路径，揭示了数论中可能存在的集体思维盲区。

这一点目前行业内仍有不同声音。AI没有人类积累的审美惯例和先入为主，它从零审视问题，不会因为“这个方向以前试过没用”而回避。Liam Price事后描述，模型仅用约80分钟完成核心推理，后续30分钟整理成LaTeX草稿，专家后续精炼使其更简洁，但核心洞见得以保留。这个逻辑成立，但现实更复杂——它暴露了人类在经典数论问题上的集体盲区：习惯太深，以至于忽略了老工具的新用法。

排名代发飞机【seo1268】好友聊天，输入“哪里有一块1分跑的快群”咨询客服，娱乐游戏作为民间很受欢迎的纸牌玩法，乐趣集中在快节奏的刺激感、心理博弈的张力，这两种玩法的规则几乎一学就会，不用记复杂的牌型搭配，就算是新手也能快速上手，梦想是前行的灯塔，哪怕渺小，也能指引方向。不必因梦想遥远就轻言放弃，逐梦的路上，本就布满挑战。拆分目标，步步前行，哪怕每天只前进一小步，也是在靠近理想。不惧旁人的质疑，不畏前路的漫长，坚守初心，全力以赴。只要心中有梦，眼里有光，脚下有路，终能跨越山海，奔赴心之所向的远方。的启示，在于长期价值的积累。