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

但从更长时间维度看，坚持价值输出的站点留存率更高。

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

表面信息显示，这次事件很快登上Scientific American报道，并引发Hacker News和Reddit r/math的热议。网友们惊叹“业余爱好者用ChatGPT就能攻克难题”，部分评论将它视为数学民主化的标志性时刻。Terence Tao等顶尖数学家给出初步评价，认为AI采用的方法有新意，甚至可能在更广领域带来启发。

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

然而，表面兴奋之下存在明显盲区。Lichtman明确指出，ChatGPT的原始证明输出质量其实相当差，需要专家仔细梳理才能理解其意图。他与Terence Tao后续对内容进行了大幅精炼和缩短，才提炼出核心洞见。AI提供了关键的思路跳跃，但最终严谨、可验证的形式化证明，仍高度依赖人类专家的打磨与验证。目前该证明已在Lean系统中通过，却并非完全自主生成。

对科技从业者和数学爱好者而言，这次突破的启示在于提示工程的潜力。以前前沿数学几乎是专业壁垒，现在具备良好直觉提示能力的人，就能尝试探索未知连接。Price的经历显示，从免费版起步到Pro订阅后的闲散实验，就能产生实质成果。但这也提醒我们，AI更像一个需要引导的探索伙伴，而非独立研究员。70%与7%的部署与规模化剪刀差在其他领域早已可见，这次数学案例或许只是类似现象在硬核学科的早期显现。

AI在这次事件中扮演的角色更像一个提供意外连接的“灵感发生器”。它没有遵循人类习惯的“标准序列动作”，而是把已知90多年的Markov过程理论与整数解剖学以反直觉的方式结合，生成了一份带着明显缺陷却包含新路径的草稿。专家们随后联手精炼：清理跳跃步骤、强化核心权重、连接到zeta函数不变测度，最终把证明长度显著缩短。这过程凸显了AI的优势在于生成洞见火花，而严谨性和完整性仍依赖人类判断。

这一过程被Price等人戏称为“vibe math”——不拘泥于严谨的逐步推导，而是凭借直觉提示让AI反复试错，探索“感觉正确”的连接，然后由人类筛查和精炼原始输出。Price本人坦言，他对问题的完整背景了解有限，只是随意实验，结果模型思考80分钟后给出了一个可行的框架，后续经Lichtman等专家打磨成更优雅的形式。

此前Jared Lichtman等人已给出较弱上界，但精确渐近行为悬而未决。AI的输出虽引入了人类未曾尝试的路径，却远非完美，这件事从一开始就指向了AI在数学证明中的真实定位。

主流报道和网友讨论大多聚焦于“业余+AI”的戏剧性组合。媒体标题喜欢强调“23岁小伙用ChatGPT破解60年难题”，Hacker News和Reddit上则充斥着AI是否会取代数学家的争论，有人兴奋于新工具的潜力，有人担忧严谨传统会被随意prompt稀释。这些声音捕捉到了事件的热度，却往往忽略了一个关键细节：AI的原始输出相当粗糙，需要人类专家像筛选沙金一样提炼逻辑、补全细节。忽略这一步，就把复杂协作简化成了单一工具的胜利。

Terence Tao在论坛评论中指出，此前研究者很可能在第一步就集体走偏，而这个AI生成的思路揭示了整数结构与Markov过程之间更紧密的潜在联系。专家Jared Duker Lichtman随后参与精炼，最终确认其新颖性。这件事远不止数学新闻，它直接暴露了内容创作者在AI时代常见的创作瓶颈。

调研中反复出现的反馈是：技术选型容易，落地执行难。