🤖 人工智能 · 前沿科技
🔥 OpenAI正式确认全新模型家族Astra的存在，该模型以仅2000美元算力成本攻克十道尘封十年以上的数学前沿难题，标志着AI正式迈入多智能体协同推理时代。
一、Astra是什么？一次远超常规升级的模型革命
Astra并非一次普通的GPT版本迭代。据The Information报道，OpenAI将Astra定位为一个全新的多智能体模型家族，与现有的Sol、Terra和Luna产品线并列。其最大变革在于：不再局限于单次问答交互，而是能够驱动多个AI智能体长期协同运作，连续运行数天甚至数周，自主攻克高度复杂的问题。#OpenAI确认下一代模型Astra存在# 的消息最早由CEO Sam Altman亲赴华盛顿向政策制定者演示时传出，他也因此成为特朗普政府新版AI监管框架落地后的首批试验案例中的关键人物。
OpenAI尚未决定Astra的正式命名——它可能以GPT-5.7、GPT-6或独立Astra系列名义发布，但内部版本的测试成果已足够震撼。
二、2000美元攻克十道千年难题：硬核实力的全面展示
8月1日，OpenAI公布了Astra内部版本在数学和理论计算机科学领域的十项重大突破。这些难题横跨高维几何、编码理论、群论、量子复杂性和极值组合学等多个前沿领域，每个问题至少开放了十年以上且长期无进展。令人震惊的是，按照Sol API费率计算，找到全部解法的算力成本仅约2000美元。
具体成果包括：给出了球体堆积指数自1978年以来的首次改进、构造出明确的非索菲群解决了群论核心公开问题、推翻了康涅斯刚性猜想、证明了一般双人量子博弈的指数级平行重复定理，以及解决了数学家保罗·埃尔德什留下的多项经典公开问题。清华姚班毕业生Lijie Chen也在社交平台发文确认了这些成果。
三、行业影响：从单次问答到长时程多智能体的时代拐点
Astra的出现标志着AI竞争重心从"训练更大模型"彻底转向长周期智能体推理基建。多智能体长时间协同运算将产生海量需要反复读写的KV缓存数据，对分层存储架构和外置高速缓存硬件提出刚性需求。业内分析指出，海外四大科技巨头——OpenAI、谷歌、亚马逊和马斯克的XAI——已全部走上同一条技术路线。
值得注意的是，OpenAI同时公布了全部证明的论文、Lean形式化验证证书和模型解题思路，供学术界独立检验。作为人类与AI协作的典范案例，Astra负责生成数学论证，人类研究员负责整理手稿与形式化验证，AI辅助科学发现的新范式已然成形。
综合华尔街见闻、财联社、智东西、The Information报道 | 2026年8月7日
收起 ▲