业余爱好者用ChatGPT单提示解决60年Erdős未解问题：实用提示工程技巧

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

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

AI的输出虽逻辑跳跃，但引入了von Mangoldt函数的意外应用，绕开了人类研究者长期依赖的分析到概率转换路径。陶哲轩随后指出，人类在第一步就集体走偏，存在某种隐形思维定势。

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

岁业余爱好者Liam Price没有高等数学背景，却在一个普通周一下午，用单次简单提示让GPT-5.4 Pro思考约80分钟，就为Erdős Problem 1196提供了突破性输出。这个困扰数学家近60年的原始集猜想，核心是询问在足够大的整数上支持的primitive sets中，∑ 1/(a log a)的渐近上界是否能达到最优。

短期来看，这一事件很可能激发更多业余爱好者和研究者尝试vibe math，将开放问题扔给ChatGPT以获取新鲜思路。erdosproblems.com网站上类似实验已在增加，有人开始结合Lean形式化验证AI输出。人类把关环节依然关键——再有洞见的原始证明，也需专家sift和打磨，才能成为严谨成果。数据支持这个方向，但样本量仍有限，值得持续跟踪。

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

这件事暴露了人类在数论某些分支中的集体思维局限：专家们往往从概率视角切入，却忽略了纯算术工具还能提供更干净的界限。类似情况在组合数学或聚类问题历史上也曾出现，新视角一出现，长期顽固的障碍就突然松动。AI在这里扮演的角色并非取代专业直觉，而是天然避开了人类长期形成的路径依赖，突出了那些被标准招式遮蔽的连接。如果类似方法在其他Erdős问题上复现，数论社区或许会迎来更多方法论层面的意外突破。

主流报道聚焦“amateur armed with ChatGPT”的戏剧性，Scientific American等媒体突出业余者逆袭，Lichtman甚至称其接近Erdős“上帝之书”中最优雅的证明。陶哲轩也迅速将思路扩展为更广理论雏形。网友热议AI民主化数学，门槛大幅降低。但这些表面叙事往往忽略了关键：AI原始输出被专家直言“quite poor”，真正价值在于专家如何从中淘金式地提取意图。

这件事比表面看起来复杂得多。它不只是AI辅助完成一次证明，而是揭示出ChatGPT这类工具正在悄然改变普通人自学数学的路径，尤其是在问题驱动的学习场景中，业余实践者也能触及长期封闭的前沿议题。

深层来看，这次事件的核心在于AI通过“vibe mathing”式的直觉提示，连接了不同数学领域，打破了人类长期形成的集体盲区。Erdős问题1196本质上考察原始集在数轴远端的行为：当只看大于x的元素时，那部分求和能否控制在1加上随x变大的对数项衰减误差内。传统刷题式自学往往卡在固定路径上，而问题驱动+AI迭代则允许模型尝试von Mangoldt函数结合Markov链视角，避开之前障碍。这个逻辑成立。

输赢随缘的实际表现，短期内或难全面显现。