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

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

von Mangoldt函数的核心恒等式——任意n的除数加权和等于log n——编码了整数唯一分解定律。AI将这一已知结果，以人类此前未尝试的方式，连接到原始集倒数对数和的收敛问题，最终证明对于任意原始集A，当考虑大于x的元素时，其和满足∑ 1/(a log a) ≤ 1 + O(1/log x)。这个渐近界看似技术性，却绕过了长期困扰人类的分析难度。

深入剖析，这次事件的深层技术逻辑在于AI如何通过非传统路径打破人类固定模式。Price的提示并未严格遵循分析概率路线，而是让模型在算术领域自由探索，结果意外调用了von Mangoldt函数——一个经典数论工具，以一种此前未尝试的角度应用于primitive sets的和式界限。这避开了人类研究中常见的“第一步就走偏”陷阱。

传统研究在处理原始集时，往往先转向概率解释，这条路看似自然，却让精细的渐近控制变得异常棘手。Jared Lichtman此前七年工作已证明部分上界，但要达到对任意ε>0的严格收敛，仍卡在技术细节上。AI的证明则保持在算术领域，利用von Mangoldt权重替换了Mertens素数乘积，避免了概率解释带来的硬分析难题，最终给出∑_{a∈A, a>x} 1/(a log a) ≤ 1 + O(1/log x)的界。

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

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

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

Terence Tao观察到，人类此前似乎在第一步就集体走偏，存在某种隐形思维堵塞。AI则跳出框架，用已知工具实现了意想不到的组合。Lichtman也指出，原始输出虽需专家整理，但核心洞见新颖，甚至可能对相关问题簇产生统一作用。这个案例并非AI首次辅助数学，而是它在开放问题中首次展现从“聪明助手”到“发现新路径伙伴”的转变，对数学工具演化而言具有里程碑意义。

历史类比或许能说明当前转折。当年计算器普及后，它解放了人类的计算力，让研究者把精力转向更高层的策略与创意。今天AI正在类似地解放idea生成环节。过去小团队或业余创作者面对复杂科技话题时，常因知识门槛而浅尝辄止；如今他们可以快速让AI生成多个大纲、不同角度的公式应用或跨界比喻，然后手动验证、补充独特观点，形成具备搜索意图的深度内容。

ChatGPT的输出要求人类专家像淘金般“sift through”其中有价值的部分。模型虽意外应用已知公式开辟新路径，打破了人类长期形成的mental block，却留下大量逻辑跳跃和不精确步骤。Lichtman和陶哲轩随后介入精炼，把证明长度缩短，清理冗余，并明确连接整数解剖学与Markov过程理论。这种从“vibe maths”到严谨表述的转化，正是事件的核心：AI提供火花，专家负责修复与升华。

数据和后续发展支持这一框架：Erdős问题网站已更新问题1196的状态，证明在Lean中完成形式化验证，数学社区开始加速测试类似“簇集”问题。短期内，更多研究者会尝试单次提示最新模型来探索悬而未决议题；长期看，这可能降低高端数学的入门门槛，让有好奇心的业余者贡献洞见。但如果AI输出始终依赖顶尖专家的完善环节，它究竟是加速发现节奏，还是主要改变节奏，目前仍有不同声音，值得持续跟踪。

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