（已核实信源）GPT 5.4 Pro 首次解决世界级科学难题！！！
- 内容介绍
- 文章标签
- 相关推荐
**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)的应该都知道他） 对此表达了夸赞与关注，认为这一结果不仅是具体问题的解决，更可能预示着"数学研究范式的深层转变"
image1126×1755 205 KB
image1177×351 22.9 KB
image1639×907 59 KB
image1311×829 44.3 KB
（以上为手动截屏，悬浮窗是我安装的小插件）
image569×680 60.2 KB
image1179×1697 224 KB
image495×399 19.1 KB
（以上 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
网友解答：--【壹】--：
好家伙 御三家另外两家 说
草！ Liam Price 你为什么用的不是我！
--【贰】--：
这两哥们之前就在网站里用gptpro去解决数学问题，当时解决了几个比较简单的吧，然后一个OpenAI研究员直接送了他们几个gpt pro订阅，没想到搞出来个大的
--【叁】--：
破案了，先试了反重力，一直retry，怒换claude，刚充完pro就被封号，只能用GPT了
--【肆】--：
这个问题还是有含金量的，不是“低垂的果实”（陶泽轩语），陶泽轩也点赞了
--【伍】--：
image1023×595 65.7 KB
gpt自己的回答，好像自媒体有一些夸大的地方，特别是国内的自媒体
--【陆】--：
1196这个其实解决挺久了，国内媒体反应有点慢啊，这两天才集中报道（
还有就那经典的雷声大雨点小，雷声小雨点大，之前好多很火的宣传突破的其实都有蛮多限制条件的；这次的进展更大更广泛，反而无人在意（
--【柒】--：
其实erdos系列问题很多只是无人问津，当然不排除有一部分确实很难（所以你懂吧
--【捌】--：
快进到解决黎曼猜想，制造超光速引擎，然后毁灭吧
--【玖】--：
不会是数学教授吧，毕竟没有数学基础，要真是这样教材都看不明白
--【拾】--：
啊？有没有数学系的佬，来说说含金量，外行看不懂啊
--【拾壹】--：
居然不是gemini先解决的~谷歌帝国不行啊
--【拾贰】--：
这个是真的厉害了
AI：看我来加速人类的进化！
--【拾叁】--：
印象中好像他很早就用GPT去试各种题，然后oai给了他pro鼓励（不确定）
--【拾肆】--：
佬友，你这gpt链接是死链，数学问题的链接也错了 1176-> 1196
--【拾伍】--：
Gemini只能拿来总结一下了
image707×1399 203 KB
--【拾陆】--：
gpt 数学能力还是最强的毕竟训练数据很多，科学家都在用
--【拾柒】--：
思考了80分钟17秒，(ᯣ_ᯣ)，从来没见过这么长的，这是特供不降智模型吗
--【拾捌】--：
gpt-pro的数学推导能力和其他所有模型比起来本来就是最强的, 这点毋庸置疑. 这也是我一直坚持认为gpt是最好的模型的原因, 即便Gemini炒作前端那会儿我也深信不疑.
--【拾玖】--：
这一个成果够他博士毕业了，甚至可以让他在一些学校当数学教授。
**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)的应该都知道他） 对此表达了夸赞与关注，认为这一结果不仅是具体问题的解决，更可能预示着"数学研究范式的深层转变"
image1126×1755 205 KB
image1177×351 22.9 KB
image1639×907 59 KB
image1311×829 44.3 KB
（以上为手动截屏，悬浮窗是我安装的小插件）
image569×680 60.2 KB
image1179×1697 224 KB
image495×399 19.1 KB
（以上 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
网友解答：--【壹】--：
好家伙 御三家另外两家 说
草！ Liam Price 你为什么用的不是我！
--【贰】--：
这两哥们之前就在网站里用gptpro去解决数学问题，当时解决了几个比较简单的吧，然后一个OpenAI研究员直接送了他们几个gpt pro订阅，没想到搞出来个大的
--【叁】--：
破案了，先试了反重力，一直retry，怒换claude，刚充完pro就被封号，只能用GPT了
--【肆】--：
这个问题还是有含金量的，不是“低垂的果实”（陶泽轩语），陶泽轩也点赞了
--【伍】--：
image1023×595 65.7 KB
gpt自己的回答，好像自媒体有一些夸大的地方，特别是国内的自媒体
--【陆】--：
1196这个其实解决挺久了，国内媒体反应有点慢啊，这两天才集中报道（
还有就那经典的雷声大雨点小，雷声小雨点大，之前好多很火的宣传突破的其实都有蛮多限制条件的；这次的进展更大更广泛，反而无人在意（
--【柒】--：
其实erdos系列问题很多只是无人问津，当然不排除有一部分确实很难（所以你懂吧
--【捌】--：
快进到解决黎曼猜想，制造超光速引擎，然后毁灭吧
--【玖】--：
不会是数学教授吧，毕竟没有数学基础，要真是这样教材都看不明白
--【拾】--：
啊？有没有数学系的佬，来说说含金量，外行看不懂啊
--【拾壹】--：
居然不是gemini先解决的~谷歌帝国不行啊
--【拾贰】--：
这个是真的厉害了
AI：看我来加速人类的进化！
--【拾叁】--：
印象中好像他很早就用GPT去试各种题，然后oai给了他pro鼓励（不确定）
--【拾肆】--：
佬友，你这gpt链接是死链，数学问题的链接也错了 1176-> 1196
--【拾伍】--：
Gemini只能拿来总结一下了
image707×1399 203 KB
--【拾陆】--：
gpt 数学能力还是最强的毕竟训练数据很多，科学家都在用
--【拾柒】--：
思考了80分钟17秒，(ᯣ_ᯣ)，从来没见过这么长的，这是特供不降智模型吗
--【拾捌】--：
gpt-pro的数学推导能力和其他所有模型比起来本来就是最强的, 这点毋庸置疑. 这也是我一直坚持认为gpt是最好的模型的原因, 即便Gemini炒作前端那会儿我也深信不疑.
--【拾玖】--：
这一个成果够他博士毕业了，甚至可以让他在一些学校当数学教授。