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

这个过程虽然慢，却能带来 compounding 的长期价值。

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

他们会随意从erdosproblems.com挑出开放问题，扔给AI看看能否碰撞出火花。Price今年23岁，仅凭ChatGPT Pro订阅，就在一次单提示下启动了模型的长时间推理。

深层来看，AI这次的突破源于一种全新的连接方式。传统研究往往从概率框架切入，Lichtman在2022年前后的工作已取得部分上界结果，但要精细控制渐近行为仍面临分析障碍。AI却没有遵循这条诱人的路径，而是停留在算术领域，直接调用von Mangoldt函数——这一经典数论工具常用于素数分布和Riemann zeta函数研究。

这一点目前行业内仍有不同声音。AI无先入为主的审美和路径依赖，让它能重新审视老工具的潜力，而人类研究者常因“这个方向以前试过没用”的集体记忆而回避。Lichtman本人后来评论称，这或许是AI首次为Erdős问题贡献接近“Book Proof”的结果，但专家精炼后证明变得更简洁，也提醒我们输出仍需严格验证。

人类对这类问题的探索路径，往往从分析工具切入，随后自然转向概率方法。这种“分析转概率”的标准走法，从Erdős时代起就成为默认框架。Jared Lichtman等顶尖专家曾在相关原始集猜想上取得突破，却在1196这个渐近版本上耗费多年仍未突破。数据和历史记录显示，即使Fields Medal级别的合作者加入，研究者也难以摆脱早期步骤中隐含的微小偏差，这些偏差随时间积累，形成了难以察觉的思维盲区。

这一点目前行业内仍有不同声音。AI模型若继续迭代，或许能处理更复杂的中间步骤，缩小人机协作中的鸿沟；但若粗糙输出仍是常态，那么专家在筛选洞见、形式化验证上的投入就不会显著减少。Erdős问题网站的未来走向值得持续跟踪：更多业余尝试是否会带来真正突破，还是会放大现有模式的局限？现在下结论为时尚早，但这个案例已清晰表明，AI在数学领域的潜力，核心不在于取代人类证明，而在于如何被精炼成可靠成果。

Lichtman甚至称这是第一个达到“Book Proof”水准的AI数学成果。

erdosproblems.com列表中的许多问题并非都需要深厚背景就能入门。它们往往只涉及素数分布、子集求和或集合基本性质这类离散对象，AI模型在处理这类结构时有天然优势，因为训练数据中基础数论内容覆盖充分。近期多起AI辅助解决或发现文献的案例显示，部分“开放”问题其实源于关注度不足，而非本质难度极高。观察者注意到，AI在生成小规模数据、枚举变体或连接已有OEIS序列方面，能快速提供人类手动难以穷举的洞见。

然而，表面戏剧性背后隐藏着更微妙的现实。Lichtman在评论中直言，ChatGPT的原始证明输出“其实相当差”，需要专家大幅梳理和精炼，才能提炼出其中有价值的核心洞见。Tao也指出，人类长期受阻于一个“小小的心理阻挡”，而AI的贡献在于打破常规开局，但最终的严谨形式化和验证仍高度依赖人类介入。目前该证明已在Lean系统中得到形式化确认，却并非完全自主生成。

历史上，人类因集体定势错过简单路径的案例并不鲜见，这次AI的“vibe mathing”模式恰好提供了新鲜的粗糙洞见，而非完美的现成答案。

当一个团队、项目组或核心个人能够有意识地、系统性地、长期地将更多的时间预算、注意力资源和复盘精力，投入到对最终用户、付费客户或终端受众的真实使用行为路径、隐性未被充分满足的核心痛点、长期需求演化趋势、以及跨场景反馈信号的持续深度追踪、多维度理解和动态模型构建上时，排名代发飞机【seo1268】好友聊天，输入“谁有一元红中麻将打牌群”咨询客服，娱乐游戏作为民间很受欢迎的纸牌玩法，乐趣集中在快节奏的刺激感、心理博弈的张力，这两种玩法的规则几乎一学就会，不用记复杂的牌型搭配，就算是新手也能快速上手，梦想是前行的灯塔，哪怕渺小，也能指引方向。不必因梦想遥远就轻言放弃，逐梦的路上，本就布满挑战。拆分目标，步步前行，哪怕每天只前进一小步，也是在靠近理想。不惧旁人的质疑，不畏前路的漫长，坚守初心，全力以赴。只要心中有梦，眼里有光，脚下有路，终能跨越山海，奔赴心之所向的远方。相关的优化工作逻辑梳理、优先级判断排序、资源分配决策依据以及整体战略方向感的形成过程，通常会从最初的相对模糊、试探性强、依赖个人经验的阶段，逐步演进到越来越清晰、明确、具有强可操作性、强战略一致性和强数据支撑的成熟阶段。