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

这也符合当前算法对内容“结构性”和“有用性”的双重要求。

最近，一则来自Erdős问题网站的更新迅速在数学圈传播开来。23岁的业余爱好者Liam Price，没有接受过高等数学训练，在一个普通的周一下午，将问题1196输入ChatGPT Pro，只用了一个提示词，便让GPT-5.4 Pro在约80分钟内生成了一种全新证明思路。这个问题关注“原始集”——集合中任意两个不同元素无倍数关系——中较大元素对求和1/(a log a)随下界x趋于无穷时的衰减速率。

最近数论圈里流传着一个意外的故事：23岁的Liam Price，没有高等数学训练背景，却在一个普通下午用ChatGPT（GPT-5.4 Pro）一个Prompt，在“vibe mathing”闲暇尝试中，输出了一份对Erdős问题1196的有效证明。Terence Tao和Jared Lichtman等专家验证后确认，这解决了困扰数学家近60年的原始集渐近界猜想。

数据支持这一转向——过去人类工作如Jared Duker Lichtman的较弱上界证明，多在分析层面受阻，而AI的输出提供了一个更紧致的渐近界限。

erdosproblems.com目前收录了上千个Erdős未解问题，其中数论和组合数学领域的不少条目陈述清晰，仅涉及素数分布、子集和或集合性质等基础概念。这类问题往往无需高深预备知识，却留有计算验证或模式发现的空间。AI通过提示工程或小规模枚举，能高效生成假设并迭代，而人类初学者也可借助Python或SymPy快速上手，避免直接挑战那些需要多年积累的硬核难题。

对普通人的长期影响，已在逐步显现。自学数学的门槛确实在降低，以往需要系统专业训练才能接近的前沿问题，现在通过合理提示就能初步探索。但也要看到潜在风险，如果仅满足于模型输出而不深入理解逻辑，容易停留在浅层认知。值得持续跟踪，现在下结论为时尚早——如果AI证明持续被Lean等形式化工具验证，数学教育或将转向提示工程与人类验证的混合模式；否则，可能仍局限于个别突破案例。

原始集（primitive sets）是指一组正整数，其中任意两个不同元素互不整除，最典型的例子便是素数集。Erdős早在1935年证明了任何原始集A的“Erdős和”∑ 1/(a log a)存在统一上界，后来与Sárközy、Szemerédi共同提出更强的渐近猜想：当集合中的数足够大（大于x后），这个和的上界应趋近于1，即∑_{a∈A, a>x} 1/(a log a) ≤ 1 + o(1)。

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

长远来看，这样的AI+人类协作模式可能降低高端数学研究的入门门槛，让更多业余爱好者参与其中，但不确定性依然存在：如果AI输出始终需要顶尖专家“筛洞见”，它究竟是加速了发现节奏，还是只是改变了节奏？Erdős问题网站的状态更新和Lean形式化验证已在进行，值得持续跟踪这一新范式在整数结构相关领域的潜在影响。

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

从历史视角看，AI在数学工具演化中的角色正悄然转变。早期如AlphaGo依赖强大搜索和模式识别，而生成式模型如今更倾向于生成新连接。它能将看似无关的知识点重新组合，绕过人类习惯的心理堵塞。这个变化与数学研究从计算验证向创意协作的过渡高度契合，标志着AI开始从“聪明助手”转向“发现新路径的伙伴”。

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