🚨 数学界四月发生 8.0 级地震！

23岁零数学基础的年轻人 Liam Price，只用一个 Prompt，扔进去 ChatGPT 5.4 Pro 思考了 80分钟17秒。

直接一剑封喉，解决了困扰全世界顶级数学家整整60年的 Erdős Problem #1196！ 🔥

问题核心：

原始集（任意两个数互不整除的整数集合）中，那个关键的调和级数和，能不能被压到 ≤1 + 极小误差？

人类最好的结果还卡在1.399，卡了60年。

AI的证明没有走所有人走的分析路线，而是用了一个90年前的经典工具（von Mangoldt 函数），在整数世界里构造了一个精妙的流，把上界漂亮地压到 1 + O(1/log x)！

证明已被 Lean 形式化验证通过，官网已正式标记 PROVED，陶哲轩极度震惊。

我想，这是用人类从未想过的视角，优雅地解决了老问题。

我们已经站在数学+AI革命的开端。
得以见证，如此之幸。
~~~~~~~~~
这只是ChatGPT5.4 Pro，现在有5.5Pro了

Ai+金融，拿下诺贝尔经济学奖
Ai+医疗，拿下诺贝尔医学奖
Ai+化学，拿下诺贝尔化学奖
Ai+文学，拿下诺贝尔文学奖
且看上述这些一个个都实现