23岁无高数训练的业余者，用ChatGPT一键解决60年Erdős难题，这对普通数学爱好者意味着什么

“免押金真人红中麻将群”_免押金真人红中麻将群京华论坛如果只是简单的信息汇总，而缺少明确的观察结论，往往难以维持长期排名。

媒体和网友的讨论大多聚焦于戏剧性表象：一个普通年轻人靠“vibe-maths”式的随意提示，就让AI解决了专家多年未决的问题。Terence Tao等数学家给出初步认可，认为AI的路径避开了人类常见的集体思维定势。Erdős问题网站已将该问题标记为已解决，由GPT-5.4 Pro在Price提示下完成，并伴随Lean形式化验证的进展。

具体而言，对于任意原始集A，考察大于x的元素a，其加权和∑ 1/(a log a)是否满足上界1 + O(1/log x)。此前Jared Duker Lichtman等研究者已取得较弱上界的进展，但这一精确形式长期悬而未决。

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

对数学研究而言，这类AI辅助案例短期会吸引更多业余者和爱好者涌入erdosproblems.com，工具使用激增，验证流程或许逐步标准化。长期不确定性在于模型演进：若减少对人类精炼的依赖，数学发现节奏或将加快；反之，它可能主要扮演灵感发生器的角色，而非独立研究者。这一点目前行业内仍有不同声音，值得持续跟踪。

这个问题涉及“原始集”——整数集合中任意两个不同元素互不整除——其加权和是否在足够大的支持下趋于1的猜想，由Erdős、Sárközy和Szemerédi在上世纪60年代左右提出。事件的核心在于，AI并非简单检索文献，而是提出了一个此前人类研究者未尝试的连接思路。

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

对比整个流程，AI更像一把“武装业余者”的工具，而非独立证明机。它擅长生成大量变体、尝试反直觉路径，有时能撞上人类因路径依赖而忽略的死角。但输出质量不稳定，逻辑完整性和细节严谨性仍需大量人工干预。Lichtman提到，这份输出需要专家深入挖掘价值；陶哲轩则视其为发现新思考大数方式的契机。

判断Erdős问题是否适合AI尝试时，一个关键标准是问题陈述是否简洁且可形式化。#1196的核心就是primitive set的倒数加权和行为，逻辑结构直白。AI擅长解析这类清晰框架，能快速输出证明草稿或变体路径；初学者则容易抓住起点，通过OEIS序列辅助小数据验证。操作上，直接复制问题原文并附加“从基本数论角度找模式”的指令，往往就能启动有效探索。

最近，一则来自数学圈的消息迅速引发关注。23岁的Liam Price没有接受过高级数学训练，却通过一次针对ChatGPT Pro的随意提示，让模型在约80分钟内生成了对Erdős问题1196的证明。该问题由Erdős、Sárközy和Szemerédi在1966年提出，关注原始集（即整数集中任意两个不同元素互不整除的集合）的渐近求和界限。

岁无高等数学背景的Liam Price，从Erdős Problems网站随意挑出问题#1196，直接用一个提示词扔给ChatGPT Pro（GPT-5.4）。AI在约80分钟内给出了针对原始集猜想的渐近证明，核心是用von Mangoldt函数建立了一种人类此前未尝试的连接，绕开了分析路径的常见陷阱。

“免押金真人红中麻将群”_免押金真人红中麻将群京华论坛所涉及的变革，对一线从业者而言，既是机会也是考验。