OpenAI下一代模型Astra一举攻克困扰十年的十大难题_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

OpenAI下一代模型Astra一举攻克困扰十年的十大难题

2026-08-02 16:36:47

OpenAI 于8月1日将其下一代主要模型系列命名为Astra，并表示内部版本已解决数学与理论计算机科学领域十个长期未解难题。

核心要点：

OpenAI在一份报告中确认了Astra这一名称，并指出该模型在至少十年未获进展的难题上取得了十项成果。清单包括非sofic群的构造、对Connes刚性猜想的反驳，以及三个Erdős问题。每个论证都附有机器可验证的Lean证书，按Sol API费率计算，令牌成本约为2000美元。

OpenAI Astra报告列出十项数学成果

该公司于周六发布了一份249页的报告，涵盖球面堆积、编码理论、算术电路复杂度、群论、量子复杂度与格密码学。清单上的每个问题在其主要结果上至少已有十年未获进展，多数停滞时间更长。其中一项构造证明了非sofic群的存在，解决了群论中的一个核心问题。其他成果包括反驳Connes刚性猜想、证明Ehrhart体积猜想，以及解决Erdős目录中的三个问题，其中包括多色三角拉姆齐数的下界。OpenAI表示，在Sol API费率下，找到全部十个解的令牌成本约为2000美元。

Astra基于多个智能体构建，它们拆分一个困难任务，长时间并行工作并汇总结果。该系列与带有GPT-5.6标签的Sol、Terra和Luna模型并列。OpenAI尚未决定它将以GPT-6、GPT-5.7变体还是独立层级的形式推出，也未设定发布日期。

数学家审视Astra的Lean证明

曼彻斯特大学数学家、Erdős问题目录维护者Thomas Bloom在X平台上称这些结果为“重大新闻”。他认为这些成果至少从构造角度而言，高于OpenAI在5月发布的单位距离反例。每个论证都附有机器可验证的Lean证书，这是少数AI研究声明能达到的标准。数学家仍需确认每个形式化陈述是否准确捕捉了该领域认为尚未解决的原始问题。参与该系统推理方法开发的Noam Brown表示，该运行并未攻克任何千禧年大奖难题。

Sam Altman在华盛顿推介Astra

在报告发布前几天，Sam Altman于华盛顿闭门会议上向参议员和高级行政官员演示了Astra。他周三会见了参议员Raphael Warnock和Bernie Moreno，日程还包括与Mark Warner、财政部长Scott Bessent及商务部长Howard Lutnick的会谈。Astra预计将成为首个提交至联邦预发布审查框架的模型。OpenAI在5月也采取了类似做法，当时它通过博客文章而非期刊宣布了AI对Erdős单位距离猜想的反驳。数学家们随后在6月以《莱顿宣言》作为回应，这是一份由国际数学联盟支持的、关于“通过新闻稿证明”的警告，OpenAI在周六引用了该宣言。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文