⌘ K
… 读取采集状态 同步中...
雷
原文
三节课·· 22 天前AI 评分1

突发|ChatGPT神秘模型24天速通100+道数学未解难题,搁这刷题呢

AI 导读

突发|ChatGPT神秘模型24天速通100+道数学未解难题,搁这刷题呢 悬着的心终于死了。 就在刚刚,OpenAI 宣布成立独立的「数学与人工智能顾问小组」,并请来普林斯顿高等研究院、牛津、剑桥的一众顶尖数学家站台,原因也很简单: 一个从 8 月 28 日开始训练的内部新模型,不到一个月便解决了 100 多道长期未解的开放问题,速度快到连 OpenAI 自己的数学家都来不及验收。 人类数学家苦熬几十年的冷板凳,AI 一个月连掀上百张,这谁顶得住? 上下滑动查看更多内容 而就在当地时间 9 月 8 日,OpenAI 刚刚高调宣布拿下了「纳维尔斯托克斯方程」——这可是克雷数学研究所列出的七个千禧年大奖难题之一! 这道题悬而未决几十年,直接关系到物理、气象、工程等多个领域的命脉。 结果 OpenAI 直接搞出了个降维打击的战法:并发调用约一万个 Agent(智能体),在不到四天的时间里海量试错提出解答,最后再用 Lean 定理证明器完成形式化验证。 到了 9 月 17 日,《The Information》更是放出风声,另一道千禧年难题「霍奇猜想」,OpenAI 也已经接近拿下了。 不是哥

本文当前提供导读和图片预览,完整图文请查看原文。

来源:三节课 · mp.weixin.qq.com