
IT之家 9 月 9 日音问世界杯2026官网,OpenAI 于当地时辰 9 月 8 日告示,其里面未公开的 AI 模子(性能远超最新发布的 GPT-6 Astra)已得手处理“纳维-斯托克斯存在性与光滑性问题”(Navier-Stokes existence and smoothness problem),这是克莱数学商酌所(Clay Mathematics Institute)于 2000 年提倡的七个“千禧年大奖难题”之一。
该问题眷注形色流体通顺的纳维-斯托克斯方程是否会失效,已困扰数学界约 90 年。
在此之前,Anthropic 上个月告示其里面一款未公开的 Claude 商酌模子在攻克黎曼猜念念的流程中获取时弊发挥,将黎曼 ζ 函数临界线上零点比例的恒久下界从 41.6% 擢升到了 67.2%。音问一出,业界畏惧。
OpenAI 线路,该团队通过让约 10,000 个 AI 智能体和解,在约 88 小时内生成了解说。证显着示,一个开动平滑的静止流体在有限时辰内可能发展出“奇点”(singularity),即流速无尽增长。
OpenAI 提供了分析解说及 Lean 编程谈话的样貌化考证。考证责任由 GPT-6 Astra 在约 17 小时内完成。
OpenAI 商酌者塞巴斯蒂安 · 布贝克(Sébastien Bubeck)称此为“往日十二个月所看到轨迹的一个惊东谈主过火”。
该解说通过想象一个向内旋转并拉伸的“涡流”来齐全奇点,其能量在物理定律条目下保抓有限。解说建立在外力光滑的前提下,对应官方问题述说中的“C”和“D”情形。
争议与质询但是,这一告示飞快激发争议。纽约大学数学讲授特里斯坦 · 巴克马斯特(Tristan Buckmaster)和 Anthropic 商酌员莱文特 · 阿尔珀格(Levent Alpöge)在前一天刚发布了关连流体方程的商酌放胆。
巴克马斯特色疑 OpenAI 在听闻他们的发挥后,才将资源转向其一直在探索的“外力驱动”圭臬。他驰念我方和阿尔珀格存储在 OpenAI 的 Codex 模子中的商酌数据可能被用于测验或参考,但未得到明确回话。
OpenAI 商酌员布贝克否定了这些指控,强调商酌东谈主员和 AI 智能体均未造访具体用户数据。但 OpenAI 也在声明中承认,“不排斥”来自他们使用 OpenAI 产物的匿名化数据匡助改革了模子。
更闲居的影响这次事件突显了 AI 在攻克东谈主类才能巅峰时激发的复杂问题。有名数学家陶哲轩一方面将此类问题比作诱骗科学家致力的“灯塔”,另一方面也劝诫,若 AI 能处理最用功的问题而无需东谈主类深度参与,可能会消弱东谈主类对数学的交融。
据估算世界杯2026官网,这次缠绵本钱可能高达 1,500 万至 2,250 万好意思元(现汇率约合 1.01 亿至 1.51 亿元东谈主民币)。OpenAI 线路不诡计申领克莱数学商酌所这笔 100 万好意思元(IT之家注:现汇率约合 672.8 万元东谈主民币)的奖金,但此事件已激发对于功劳包摄、数据秘密以及 AI 发展安全性的闲居商酌。
