-
日期: 2026-04-08 | 来源: 新智元 | 有0人参与评论 | 字体: 小 中 大
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异常谨慎，他「反复检查了不止三遍」，并请学生再次验证。随后，他将这一成果分享给优化领域的学术社区，引起了同行们的惊讶和兴奋。最- 新闻来源于其它媒体，内容不代表本站立场！
-
原文链接
原文链接:
目前还没有人发表评论, 大家都在期待您的高见