OpenAI于8月1日公布下一代模型代号"Astra"（拉丁语"群星"），定位为全新多智能体协同模型，可将复杂任务自动拆分、多Agent并行推演、交叉验证，持续运行数小时至数天。Astra内部版本在数学与理论计算机科学领域取得十项重大突破（包括推翻Connes刚性猜想、解决Erdős多个公开问题等），全部推理成本仅约2000美元，所有证明经Lean 4形式化验证并开源。该模型尚无量产时间表，被视为OpenAI在IPO推迟（原定2026年秋→2027年）、Anthropic年收入突破470亿美元背景下的"技术护城河"展示。