新 闻科教                                          

为什么GPT-6 Astra让整个数学圈都炸裂了?
学术圈消息通2026-09-21  

声明: 本消息或因风格和篇幅原因进行过编辑,但未经核实,也不代表我们的立场、观点或建议。如有侵权,联系秒删。[ 使用条款 ]
赞助信息

一、先认个名:Astra 是什么,为什么叫这个

Astra 是 OpenAI 在 2026 年 9 月 3 日发布的旗舰模型,GPT 系列的最新一档。名字源自拉丁语 astrum,意为"星辰、群星"——OpenAI 沿用了天体命名法:Astra 之上还有 Sol(太阳)、Terra(地球)、Luna(月亮),规则是"天体越大、能力越强",所以排序是 Astra > Sol > Terra > Luna。发布前官方那句预告 "The stars are almost aligned(星星快对齐了)",既是代号隐喻,也暗指算法、算力、工程与商业化的拼图即将合拢。

二、它到底做成了什么:分数很实,宣称很猛

先说站得住的。Astra 把连续素数间距上界从 246 推到 186(张益唐 2013 年从 7000 万起步,全球联手多年才到 246),且通过 Lean 形式化验证;在 Epoch AI 与曼彻斯特大学的 FrontierMath Erdős 基准里,它是唯一非零分的模型——68 道人类长期未解难题解出 2 道(放宽预算后 5 道),其余四个顶尖模型全交白卷。

更猛的是一则"宣称"。OpenAI 表示,一个比 Astra 更强的未发布内部模型,调度约 1 万个 AI Agent,在 88 小时内交换近 300 万条消息、产出约 1300 亿 token、耗费约千万美元,攻克了七大千禧年难题之一的 Navier–Stokes(纳维–斯托克斯)方程——证明"原本静止的光滑流体,可以在有限时间内出现奇点(有限时间爆破)",随后由 GPT-6 Astra 再用 Lean 花 17 小时把证明形式化验证。

📐 一个比喻:把"影响"想成挖隧道过去一位数学家攻克难题,像一个人徒手挖一条隧道——卡在某层岩石上,可能耗去数年,还容易钻进死胡同钻不出来。Astra 带来的不是"多了一个更聪明的矿工",而是:同一时刻,一万个不会疲倦、不会气馁、还共用一份永不丢失笔记的挖掘工,朝不同方向同时试;更关键的是,旁边坐着一个永远不睡觉的监理(Lean),每一步都重新验算、只认那个绿色对勾。隧道凿通的速度,自然不是一个量级——这,才是"影响有多大"最直观的注脚。

三、千禧年这道,到底算不算数

先科普:千禧年七大难题由克莱数学研究所于 2000 年设立,每题悬赏 100 万美元,至今只解出一道。Navier–Stokes 问的是:描述空气、水流动的方程组,其解是否永远光滑,还是会在某一刻"炸掉"。若 OpenAI 的宣称成立,这将是首道由 AI 攻克的千禧年难题——分量极重。

您的观点至关重要

点击朱笔,直抒胸臆

By Google

    © 2026    八阕之地™ by Towards Digital Group关于我们反馈意见业务合作八阕书局隐私政策使用条款