**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/c/69f087a4-9e20-83ab-8017-794d0d987634 数学问题链接： https://www.erdosproblems.com/1176 权威媒体链接： 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 2 个帖子 - 2 位参与者 阅读完整话题