🚨 数学界四月发生 8.0 级地震！
23岁零数学基础的年轻人 Liam Price，只用一个 Prompt，把 ChatGPT 5.4 Pro 扔进去思考了 80分钟17秒。
直接一剑封喉，解决了困扰全世界顶级数学家整整60年的 Erdős Problem #1196！ 🔥
问题核心：
时政
(
twitter.com
)
🚨 数学界四月发生 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革命的开端。
得以见证，如此之幸。
点击图片查看原图
点击图片查看原图
点击图片查看原图
