摘要：一位23岁、没有高等数学训练的年轻人，只输入一个简单的prompt，就让ChatGPT 5.4 Pro在80分钟内破解了困扰数学界60年的Erdős难题。AI用von Mangoldt函数构造Markov链，把上界直接优化到1 + O(1/log x)，随后被Lean形式化验证。数学的范式革命正在发生。
想象一下：一位23岁、没有高等数学训练的年轻人，只输入一个简单的prompt，就让OpenAI最新的ChatGPT 5.4 Pro在80分钟内，破解了困扰数学界整整60年的Erdős难题！这不是科幻电影，而是2026年4月真实发生在数论前沿的爆炸性事件。Erdős Problem #1196——一个关于"原始集调和级数上界"的世纪猜想，就这样被AI一击而破，瞬间点燃了全球数学社区的热议，也让无数人惊呼：数学的黄金时代，真的要被AI彻底改写了！
原始集到底有多神秘？
原始集（primitive set）是自然数的一个特殊子集：集合里的任意两个不同整数，彼此都不整除。听起来简单？可别小看它。它就像一张"无父子关系"的家族谱系图，每一个数都独立"站队"，没有任何继承或被继承。Erdős、Sárközy和Szemerédi三位传奇数学家早在上世纪60年代就提出猜想：当我们只看那些足够大的原始集（所有元素都大于某个巨大x）时，它们的"加权和"——也就是∑ 1/(a log a) ——会不会趋向于一个常数1，并且随着x变大，这个和的上界会越来越接近1，甚至o(1)地趋于0？
为什么这个和这么重要？因为1/(a log a)这个权重，正是数论里最经典的"调和"尺度。它捕捉了整数的"密度"和"素性"分布，像一把精密的尺子，丈量着原始集到底能"塞"下多少大数而不违反互不整除的铁律。几十年来，顶尖数论专家前仆后继。2023年，Jared Lichtman（这个领域的绝对顶尖专家）才把上界压到约1.399 + o(1)，已经算是里程碑式进步。可离猜想的"1 + o(1)"还差着一大截。无数人以为，这道题至少还要再熬十年、二十年。
AI的80分钟奇迹
结果呢？一位名叫Liam Price的23岁年轻人，纯凭好奇心，订阅了ChatGPT 5.4 Pro的Pro版本，随手扔出一个prompt。AI只花了80分钟，就给出了完整证明！它不光证明了猜想成立，还把上界直接优化到1 + O(1/log x)——比之前所有人类成果都更强、更干净！更牛的是，这个证明不是简单"抄作业"，而是AI自己发明了一种全新的方法：用von Mangoldt函数构造Markov链！
简单说，AI把每个整数n想象成一个"粒子"，它会以概率Λ(q)/log n（Λ就是von Mangoldt函数，专门捕捉素幂的"脉动"）向下跳到n/q，形成一个向下流动的随机过程。这个过程的平稳分布恰好是1/(n log n)，而原始集就像"吸收壁"，任何两个数不能互除的约束，被完美转化为流的守恒。AI进一步用离散散度定理和流网络框架，把这个概率视角转化为严格的分析不等式：流的散度几乎为零，边界条件自然给出和≤1 + O(1/log x)。
陶哲轩后来评价，这个思路"把整数的解剖结构和流网络理论紧密连接起来"，连他都觉得"AI运气好，恰好撞上了唯一有效的那条路"。
AI独有的"搜索+修复"模式
Lichtman本人也在讨论中直言：AI的推理链条看似"混乱"，但它 opportunistic地抓住von Mangoldt这个关键工具，然后通过局部验证和修复，一步步把证明修得天衣无缝。这不是人类常见的"全局叙事"，而是AI独有的"搜索+修复"模式，却意外高效。
Lean验证：铁证如山
证明一出，数学界彻底沸腾了。erdosproblems.com官网迅速把#1196标记为"PROVED（LEAN）“。更震撼的是，Math Inc.的"Gauss"团队只用5小时，就用Lean形式化语言把整个证明写成7000多行代码，后来优化到4000行，彻底打消了所有人对"AI证明是否严谨"的质疑。Lean是数学界公认的"铁证”，一旦通过，就等于在形式逻辑层面盖了章——没人能再挑刺。
陶哲轩、Lichtman等大牛亲自下场讨论，完善了常数项，甚至把上界细化到1 + γ/log x + O(1/log² x)，还顺带推广到排列的"原始集"类似问题。整个过程像一场全球数学接力赛：AI开场冲刺，人类接棒精雕细琢，最后Lean封神。
范式革命：从辅助工具到数学发现者
这件事情的深远意义，远超一道题的解决。它标志着AI正式从"辅助工具"升级为"数学发现者"。过去，数学靠天才灵光一闪；现在，23岁普通年轻人+一个AI，就能挑战60年难题。这不只是效率革命，更是范式革命。想想看：原本只有顶尖PhD才能触及的前沿，现在被ChatGPT Pro的订阅用户"平民化"了。AI不怕计算量、不怕试错，它能同时探索成千上万条路径，还能自我验证——这正是人类大脑的天然短板。
当然，也有人担心：AI证明会不会有隐藏bug？会不会抢走数学家的饭碗？但现实恰恰相反。Lean验证和专家精炼证明，AI更像"超级灵感机"，它提供火花，人类赋予灵魂。未来，数学家+AI的"人机CP"将成为标配：AI负责疯狂探索，人类负责判断方向、讲故事、寻找更深连接。就像AlphaFold重塑生物学一样，AI正在重塑数论、代数、几何……甚至整个纯数学。
给所有年轻人的信号
更让人热血沸腾的是，这件事给所有年轻人一个信号：你不需要名校博士头衔，不需要堆积如山的论文，只需要好奇心、一台电脑和对AI的信任，就能参与人类最前沿的智力冒险。Liam Price的故事，就是最好的励志模板。他不是天才，他只是敢问、敢试、敢相信AI能行。
60年的Erdős Problem #1196，就这样在2026年的春天被80分钟的AI思考画上句号。它留给我们的，不只是一个漂亮的不等式，更是一个新时代的开场白：数学的未来，不再是孤独的象牙塔，而是人机共舞的狂欢盛宴。
当你下次打开ChatGPT时，不妨也试着问它一个"不可能"的问题。谁知道呢？下一个破解世纪难题的，或许就是你。