**GPT 5.4 Pro 首次解决世界级科学难题，就在刚刚！
23 岁零数学基础的年轻人 Liam Price，只用一个 Prompt，把 ChatGPT 5.4 Pro 扔进去思考了 80 分钟 17 秒
直接一剑封喉，解决了困扰全世界顶级数学家整整 60 年的 Erdős Problem #1196！**在数学史上，一个悬而未决长达 60 年的经典难题，近日迎来戏剧性突破。一位年仅 23 岁、几乎没有传统数学训练背景的年轻人 Liam Price，仅通过构造单一 Prompt，引导先进模型 ChatGPT 5.4 Pro 进行长达 80 分钟 17 秒的深度推理，成功解决了著名的 Erdős Problem #1196。
** 该问题聚焦于 “原始集”（即任意两数互不整除的整数集合）中的调和级数和的上界问题。过去数十年间，全球顶级数学家仅将该上界推进至约 1.399，但始终无法进一步逼近理论极限。此次突破性成果则将该上界显著压缩至
1 + O (1 / log x)，几乎贴近理论最优界限。**更引人注目的是，这一证明路径并未沿用传统分析数论方法，而是创新性地回溯至近 90 年前的经典工具 ------von Mangoldt函数，在整数结构内部构造出一种全新的 “流动机制”，以极具结构美感的方式完成上界压缩。
该证明目前已通过形式化证明系统 Lean 的严格验证，相关成果在官方平台标注为 “PROVED”，标志着其逻辑严密性已获得机器级确认。
*国际数学界对此反应强烈，著名数学家 Terence Tao 陶哲轩（***初高中玩数学竞赛，或者被全国数学竞赛保送的佬友，或者参加国际数学奥林匹克竞赛(IMO)的应该都知道他） 对此表达了夸赞与关注，认为这一结果不仅是具体问题的解决，更可能预示着"数学研究范式的深层转变"
（以上为手动截屏，悬浮窗是我安装的小插件）
（以上 AI 部分已截屏）
以下是 ChatGPT 的对话内容；
完整对话记录链接：https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c
数学问题链接： Erdős Problem #1196
权威媒体链接：
1. Scientific American： Amateur solved a 60-year-old math problem with AI
2.Forbes（主流财经媒体） AI solved a decades-old math problem
3.The Decoder（AI 技术媒体） GPT-5.4 Pro solves Erdős problem in under two hours
14 个帖子 - 13 位参与者