23岁业余爱好者用ChatGPT解决60年Erdős原始集猜想，AI如何打破数论“思维壁垒”

积累这些小数据，长期来看会形成宝贵的决策参考。

短期内，数学社区已迅速行动：问题1196的状态被标记为已解决，证明进入Lean辅助形式化，更多研究者开始用类似方式测试其他“簇集”问题。长期来看，这对普通AI用户意味着高端数学研究的入门门槛显著降低，业余爱好者仅凭好奇心和最新模型就能贡献新鲜角度。对整个领域而言，则预示着AI+人类协作的新范式可能加速悬而未决问题的统一处理。

这一点目前行业内仍有不同声音。AI在Erdős问题上的应用，有些被证明只是重组已有文献，有些则如这次一样带来真正洞见。Liam Price的案例属于后者，但其长期对数学社区的结构性影响——尤其是提示词门槛能否真正替代部分博士训练——仍需更多案例积累。现在下结论为时尚早，却已足够让人看到，数学研究的参与边界正在以意想不到的方式扩展。

专家后来精炼了原始输出，并用Lean形式化验证通过，现在问题已在erdosproblems.com上标记为由GPT-5.4 Pro（Liam Price提示）解决。

Terence Tao的点评也印证了这一点：AI无意中凸显了整数结构与概率过程之间更紧密的联系，而此前文献中仅有零星暗示。

对比历史演进，AI在数学工具中的定位正经历类似AlphaGo到生成式模型的转变。前者依赖强大搜索击败人类，后者则通过连接看似无关知识点生成新想法。早期计算机主要承担计算验证，如今大语言模型开始主动提出意想不到的组合。这对数学研究而言具有里程碑意义——它暗示工具不再只是被动延伸，而是可能主动打破集体思维惯性，尽管样本仍有限，需持续观察后续验证效果。

原始集在数论中是一个直观却深刻的泛化概念：正整数集合中任意两个不同元素互不整除，素数集就是最典型的例子。Erdős早在1935年就证明了任何原始集的某些求和性质有界，而问题1196是其渐近版本，关注当集合元素足够大时，尾部求和∑_{a∈A, a>x} 1/(a log a) 是否满足≤1 + O(1/log x)。此前Lichtman等人在相关猜想上已有重要推进，但这个具体界限卡住了数学家数十年。

最近，一则关于Erdős问题1196的突破在数学社区迅速传播开来。23岁的Liam Price没有高等数学训练背景，却在一个闲散下午通过一次ChatGPT Pro提示，在大约80分钟内获得了该问题的完整证明路径。该问题围绕“原始集”展开，即一组正整数集合，其中任意两个不同元素互不整除，自1966年Erdős、Sárközy和Szemerédi提出相关猜想以来，已困扰数学家60年。

短期看，这一现象会激发更多业余爱好者和研究者尝试vibe math，加速Erdős问题攻克。erdosproblems.com上类似实验已增多，证明需Lean等形式化验证把关。长期而言，如果更多突破出现，它可能催生新的数学思考方式，帮助重新理解大数结构中的隐含联系。不过，AI原始输出仍需专家精炼，其作用更像新连接方法的提供者，而非独立证明者。

这一点目前行业内仍有不同声音。AI让更多人参与顶级数学研究的可能性已现，但验证能力的门槛是否会随之水涨船高？如果普通爱好者开始常态化贡献，数学社区的协作模式又将如何演化？这些问题现在下结论或许为时尚早，却值得每一位关注AI与专业领域融合的人持续跟踪。

对普通人而言，自学数学的门槛正在实质性降低。以前需要系统专业训练才能触及的前沿开放问题，现在通过合理提示就能初步探索，Erdős问题网站可能很快迎来更多AI辅助尝试潮。但也要警惕过度依赖的风险，如果只满足于模型给出答案而忽略背后的逻辑，很容易停留在浅层理解。长期来看，数学教育或许会逐步转向提示工程与人类验证的混合模式，这一转变的具体形态目前行业内仍有不同声音。

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