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

当冷静应对从概念走向实际应用，行业报告里的数字和真实落地案例之间常常存在明显落差。这个落差本身值得我们多花一点时间去拆解。

数据支持这个方向，但样本量有限，值得持续跟踪。

最近数学圈流传着一个反直觉的事件。一个23岁的业余爱好者Liam Price，没有接受过高等数学训练，却在一次随意prompt中把Erdős问题1196扔给ChatGPT Pro（GPT-5.4版本）。问题涉及原始集A中μ(A)衰减极快的渐近行为，困扰数学家近60年。AI在约80分钟内给出了一份看似可行的证明，随后上传至erdosproblems.com。包括Terence Tao在内的专家介入审查与精炼，最终确认其解决该猜想。

多数媒体和讨论将焦点放在“业余选手借助AI破解60年难题”的戏剧性上。报道强调Liam Price的随意提示风格，以及Terence Tao等专家的初步认可，认为输出值得进一步筛查。Erdős问题网站已将该问题标记为已解决，并归功于GPT-5.4 Pro在Price提示下的贡献，伴随Lean形式化验证的进展。

这一点目前行业内仍有不同声音：如果未来模型输出质量持续提升，更复杂问题的处理能力或将增强，人机界限或许进一步模糊；若粗糙步骤仍普遍存在，大量人工干预就难以避免。陶哲轩等人的跟进工作表明，目前阶段AI擅长生成洞见火花，但证明的严谨转化仍牢牢掌握在人类手中。值得持续跟踪，现在下结论为时尚早。

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

表面上看，这次事件被媒体和网友解读为“业余选手+AI破难题”的典型故事。报道多强调Liam Price的“vibe-maths”式提示——不用严谨专业语言，而是描述问题感觉和目标——以及单次运行就得出结果的戏剧性。Terence Tao等专家给出初步认可，认为输出有潜在价值，需要进一步精炼。Erdős问题网站已将该问题标记为已解决，并归功于GPT-5.4 Pro在Price提示下的贡献，甚至有Lean形式化验证在推进。

这个火花虽粗糙，却打破了长期存在的mental block。

表面上，这件事被解读为“AI随便就解决了人类卡住的难题”，网友惊叹业余玩家加大模型的组合力量。主流报道多强调GPT-5.4 Pro的强大推理能力和Price的幸运尝试，却较少触及证明方法本身的独特性。Hacker News讨论帖积累了大量回复，大家聚焦于“一个提示搞定60年猜想”的戏剧性，但忽略了AI在第一步就避开了人类集体默认的思维框架。

已有部分进展的问题特别值得关注。例如与primitive set相关的延伸，或粗糙数（rough numbers）的素因子限制，这些在网站上常有下界结果和文献线索。数据支持AI从这些脚手架起步：先生成随机实例计算数值，再尝试推广猜想。70%以上的此类问题在小规模下已有OEIS支持，这个剪刀差说明计算辅助能快速缩小搜索空间，但大规模推广仍需新洞见。

Terence Tao在评论中指出，人类此前似乎在第一步就集体走偏，存在某种思维定势。模型则跳出这一框架，用经典工具实现了意想不到的组合。Jared Duker Lichtman也认可原始输出虽需专家进一步整理，但核心洞见具有新颖性，甚至可能对相关问题簇产生统一作用。这次证明已进入Lean形式化验证讨论，Erdős问题网站也将其标记为已由GPT-5.4 Pro在Price提示下解决。数据支持这一方向，但样本量仍有限，值得持续跟踪。

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