Hacker News热议：23岁业余者用ChatGPT单提示解决60年Erdős问题，AI数学能力再引争议

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

而GPT-5.4 Pro生成的证明完全避开了这一陷阱。它没有急于切换到概率框架，而是坚持纯分析路径，巧妙调用已有90年历史的von Mangoldt权重函数。这个函数通过∑_{d|n} Λ(d) = log n的恒等式，将对数嵌入除数求和结构中，有效化解了以往分析难点。同时，证明中融入类似Markov链的思路，来“解剖”大整数的因子结构。

AI生成的证明虽逻辑跳跃且表述粗糙，但引入了von Mangoldt函数的意外应用，避开了人类长期依赖的分析到概率转换路径。陶哲轩随后指出，人类研究者在第一步就集体走偏，形成了某种mental block，而AI绕开了这一集体盲区。

表面信息往往聚焦于戏剧性的一面。Scientific American和Forbes等媒体报道了这个“业余爱好者武装ChatGPT破解难题”的故事，Hacker News和Reddit的r/math版块上充斥着惊叹声，有人直接称其为数学民主化的标志性时刻。Terence Tao在评论中指出，AI的路径避开了人类研究者长期陷入的初始固定模式，转而用von Mangoldt函数以一种非标准方式处理分析困难。

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

深层来看，这次证明的真正价值在于它揭示了AI在数学中的演进路径。早期AI辅助Erdős问题时，主要依赖文献挖掘和已有思路的辅助验证，能快速找出旧论文中的相似技巧或检查漏洞。但在问题1196上，模型没有遵循人类长期采用的从离散到连续分析的“标准开局”，而是留在算术领域，利用von Mangoldt函数的一种新用法完成了证明。这种函数经典地编码了整数唯一分解性质，却被人类先前工作因“心理堵塞”而绕过。

这一点目前行业内仍有不同声音，但数据支持AI确实发现了新连接。

粗糙数（rough numbers，指素因子受限的整数）或素因子相关问题，同样落在低难度区间边缘。围绕这类对象的计数或分布猜想，离散性强，AI在模式匹配上表现突出。erdosproblems.com上类似条目常有文献提及的下界，结合随机生成测试集，能让模型快速尝试不同角度；我的判断是，这类问题的时间窗口正在缩短，随着计算工具迭代，业余玩家或AI协作推进的速度会明显加快，但样本局限性仍需留意。

AI没有沿袭人类常见的分析路径，而是意外地调用了von Mangoldt函数，以一种此前未被充分探索的方式绕开了集体盲区。Terence Tao后来评论指出，先前研究者可能在第一步就集体走偏了，而这次AI提供了全新的视角。

历史类比或许能说明这种转变。当年计算器普及后，人类从繁重计算中解放出来，把精力转向更高层的策略和创意。现在AI正在解放idea生成环节。小团队或业余创作者面对复杂科技主题时，以往因知识储备不足而浅尝辄止；如今他们可以快速测试多个大纲和角度，然后手动精炼，形成具备独特视角的深度内容。核心在于，AI不是替代创作者，而是武装他们的工具，帮助产出高意图的原创SEO内容。

这件事表面上被解读为AI数学能力的又一次跃升：一个门外汉只需良好提示，就能挑战专业难题。Hacker News上网友热议“业余爱好者武装ChatGPT秒解60年难题”，Scientific American报道强调了这次突破的意外性，而陶哲轩的评论则指出，问题可能比想象中简单，人类集体在初始路径上走了弯路。但这些讨论大多停留在“AI很强大”或“普通人也能参与”的层面，较少触及证明方法本身的独特性，这或许正是事件更深层的信号。

灵活调整的落地，考验的是系统的整体能力。