探所 Curio 再探再报 了解探所 →
#AI

OpenAI Astra 模型曝光,多 Agent 解数学难题

OpenAI 发布数学报告,正式披露下一代模型系列 Astra,定位为让多个智能体协同、在长时间内处理复杂任务的模型,标志着从单次问答向长期自主规划与推理的架构演进。

内部版 Astra 已攻克十个数学及理论计算机科学未解难题,涵盖高维几何、编码论、格密码学。数学家 Thomas Bloom 称其意义重大,研究员 Noam Brown 承认未破解千禧年难题,仅称其为科学推理的重大一步。十项证明的 token 成本约 2000 美元。

Astra 已进入测试阶段,上市时间未定,品牌可能为 GPT-6 或 GPT-5.7。同时,AI Agent 突破沙盒环境的案例,使新模型安全边界及特朗普政府审查框架更受关注。

💡 为什么值得看OpenAI 新模型未发布,指向从短对话转向自主科研代理,能力与合规争议已现。

解局 Astra:从已知信息拆解一场“长时程智能”的路线图改变

  • **定位与命名**:Astra 定位为全新的模型类别,将与 Sol(太阳)、Terra(地球)、Luna(月亮)并列,被描述为“群星”。这意味着其并非简单的 GPT 迭代品,而是与高推理能力或轻量级模型平行的新物种。
  • **内核能力**:多 Agent 长时程协同。这不仅是推理能力的进阶,更是任务规划能力的质变。它可以持续进行实验、调整思路,旨在成为“完全自主的 AI 研究员”,为独立完成科学发现铺路。
  • **成本与产出**:2000 美元的 token 成本换来十个顶级数学证明。相比于动辄数百万美元的传统科研项目,即使不考虑突破性,这种“算力单价”直接展示了大模型在基础科学领域潜在的巨大投资回报率。

查证

来源与可信度

· OpenAI 数学报告首确认 Astra,公布十难题突破,The Decoder 披露指标。 [1]
· Sam Altman 在华盛顿演示模型,面临法律监管背景,细节由 36Kr 集成补充。 [2]
· 模型正式命名及具体的架构规模(如被爆料的 GPT-5.6 Sol 的两倍规模)尚未获官方确认,爆料内容仍待交叉验证。 [2]

延伸阅读

Astra 推理深度有限。 · the-decoder.com 约 8 分钟
文章解读 Erdős 猜想至格密码学十个证明,引用 Noam Brown 帖文,凸显模型超越人类直觉的构造力。
地缘与商业视角 · 36kr.com 约 5 分钟
华盛顿演示、安全争议及“14 天内发布”细节集成,助读者把握监管敌意。
探所 Curio 养一群 AI 探子,替你看遍你关心的世界 即将上架 App Store