GPT-5仅用18分钟解出黑洞方程,效率碾压人类数月
2026年,AI成了科学家的新战友:从三个晚上破解40年优化难题,到18分钟重现黑洞隐藏对称性,ChatGPT正把前沿发现速度提升数倍乃至数十倍,科学加速的时代已然来临!
ASI的「S」可能是「Science」的「S」。AI在科学研究领域,已开始大展拳脚。
OpenAI科学副总裁Kevin Weil预测,2026年AI将在科学领域如2025年在软件工程般普及。
从量子世界到黑洞边缘。从蛋白质设计到新药研发。ChatGPT正在全领域加速科学发现。

用ChatGPT,三个晚上数学家完成证明
数学,科学的皇后,也是最考验智力的领域。
两年前,大模型还在基础算术上跌跌撞撞。如今,GPT-5.2已在国际数学奥林匹克竞赛中斩获金牌。
就如一年前,AI编程还只能补全代码,如今已能独立开发app了。
在2023年的时候,数学家Ernest Ryu尝试让ChatGPT安排一个完整的棒球赛季赛程。
这需要精确处理硬约束(如避免赛程冲突)和软约束(如旅行休息日)。当时的模型在处理复杂的约束条件时仍显稚嫩,时常遗漏关键条件,在更实际的复杂日程安排上败下阵来。

2025年,OpenAI在国际数学奥林匹克竞赛中斩获金牌,Ryu看到了AI能力的飞跃。
他之前测试过的同类调度问题,如今能被可靠地解决了。这一成功给了他极大信心,他开始将ChatGPT融入日常学术工作,比如在编写讲义时,向AI询问那些他确信为真但一时想不起证明过程的教学结论。
在看到AI的回答效果不错后,Ryu决定将AI用于真正的学术研究。他选择了一个与「Nesterov加速」(一种着名的优化加速技术)相关的开放性问题。
连续三个晚上,Ryu与AI展开了密集的协作攻关。
首先,AI给出了一个包含计算错误的初始证明。
Ryu纠正错误,在不断增长的对话提示中保留正确的中间步骤,果断放弃死胡同,并将模型引导向新的思路。
Ryu将这个过程形象地比喻为「走迷宫」——
在迷宫中转弯、开门,有时发现是死路,但同时在心里绘制着哪些路径失败、哪些有希望的地图。
他感到,ChatGPT将他「走迷宫」的速度提升了3到10倍。
在第三个晚上,AI实现了一个微小但关键的思维跃迁,其产生的论证「看起来不同」,正是这个不同之处,成功解锁了整个证明。
Ryu异常谨慎,他「反复检查了不止三遍」,并请学生再次验证。随后,他将这一成果分享给优化领域的学术社区,引起了同行们的惊讶和兴奋。最
点个赞吧!您的鼓励让我们进步
还没人说话啊,我想来说几句
ASI的「S」可能是「Science」的「S」。AI在科学研究领域,已开始大展拳脚。
OpenAI科学副总裁Kevin Weil预测,2026年AI将在科学领域如2025年在软件工程般普及。
从量子世界到黑洞边缘。从蛋白质设计到新药研发。ChatGPT正在全领域加速科学发现。

用ChatGPT,三个晚上数学家完成证明
数学,科学的皇后,也是最考验智力的领域。
两年前,大模型还在基础算术上跌跌撞撞。如今,GPT-5.2已在国际数学奥林匹克竞赛中斩获金牌。
就如一年前,AI编程还只能补全代码,如今已能独立开发app了。
在2023年的时候,数学家Ernest Ryu尝试让ChatGPT安排一个完整的棒球赛季赛程。
这需要精确处理硬约束(如避免赛程冲突)和软约束(如旅行休息日)。当时的模型在处理复杂的约束条件时仍显稚嫩,时常遗漏关键条件,在更实际的复杂日程安排上败下阵来。

2025年,OpenAI在国际数学奥林匹克竞赛中斩获金牌,Ryu看到了AI能力的飞跃。
他之前测试过的同类调度问题,如今能被可靠地解决了。这一成功给了他极大信心,他开始将ChatGPT融入日常学术工作,比如在编写讲义时,向AI询问那些他确信为真但一时想不起证明过程的教学结论。
在看到AI的回答效果不错后,Ryu决定将AI用于真正的学术研究。他选择了一个与「Nesterov加速」(一种着名的优化加速技术)相关的开放性问题。
连续三个晚上,Ryu与AI展开了密集的协作攻关。
首先,AI给出了一个包含计算错误的初始证明。
Ryu纠正错误,在不断增长的对话提示中保留正确的中间步骤,果断放弃死胡同,并将模型引导向新的思路。
Ryu将这个过程形象地比喻为「走迷宫」——
在迷宫中转弯、开门,有时发现是死路,但同时在心里绘制着哪些路径失败、哪些有希望的地图。
他感到,ChatGPT将他「走迷宫」的速度提升了3到10倍。
在第三个晚上,AI实现了一个微小但关键的思维跃迁,其产生的论证「看起来不同」,正是这个不同之处,成功解锁了整个证明。
Ryu异常谨慎,他「反复检查了不止三遍」,并请学生再次验证。随后,他将这一成果分享给优化领域的学术社区,引起了同行们的惊讶和兴奋。最
| 分享: |
| 注: | 在此页阅读全文 |



GPT-5仅用18分钟解出黑洞方程,效率碾压人类数月