产品信号

OpenAI首次公开下一代模型Astra

OpenAI首次公开命名 next major model Astra，并用十项长期开放的数学与理论计算机科学结果展示其能力。Astra尚未对外部署，但已经成为明确的下一代模型信号。

By All We Need Editorial System

OpenAI首次公开命名其 next major model Astra，并把十项长期开放的数学与理论计算机科学结果作为能力展示。真正的新状态不只是“AI又解了几道题”，而是OpenAI开始用可检查的论文与Lean证书，为下一代模型建立公开能力记录。Astra尚未开放，官方也没有把它称为GPT-6。

Astra从内部模型走向公开能力信号

OpenAI在官方页面中直接把Astra称为“our next major model”。与5月只披露一个未具名内部模型完成单位距离问题不同，这次发布把同一个模型与十项数学及理论计算机科学成果绑定，并称按Sol API费率估算，解题token成本约为2,000美元。关键变化是一个被官方命名的下一代模型开始拥有公开、成组的能力记录，而不只是又一项孤立研究成果。

十项结果把能力主张落到可检查对象

249页论文集覆盖球堆积、编码、群论、复杂性、量子计算、格密码和极值组合等主题，并给出球堆积指数、永久式下界、近似困难性和Ramsey数等具体结果。OpenAI的Selected Proofs仓库还提供对应Lean文件、All.lean和Comparator挑战配置。它们不能替代同行评审，但比匿名benchmark更接近可由第三方逐项运行、审查和复用的能力证据。

公开命名不等于即将上线

OpenAI没有公布Astra的参数、架构、API、定价或发布日期，因此不能从“next major model”直接推断它就是GPT-6，也不能判断其何时进入ChatGPT或API。Leiden Declaration同时指出，自动化论证及自然语言到形式化陈述的转换都可能出错。Astra现在最准确的定位，是一个获得官方命名并交付首批公开研究证据、但尚未进入公开部署阶段的下一代模型。

接下来关注什么

接下来应同时观察模型与研究两条线：OpenAI是否发布Astra的system card、API、定价或产品入口；外部数学家是否独立编译Lean文件并复核十项结果；这些成果是否进入预印本、研讨会和同行评审文献。若独立复核与公开部署同时出现，Astra将从研究预告升级为真正的下一代平台信号。

信源