OpenAI即将发布的Astra模型有哪些能力升级？

　　一、核心升级：多智能体长期协同工作

　　定义“数字团队”：Astra模型能让多个AI智能体在同一目标下分工协作、并行推进，相互校验并汇总结果，可持续处理数小时甚至数天的复杂任务。

　　应用场景：可应用于大型项目管理、深度编程、商业分析以及高等数学难题求解，真正实现从“帮你写”到“帮你干”的转变。

　　二、旗舰级突破：2000美元攻克十项数学难题

　　数学能力实测：Astra的内部版本已成功解决高维球体堆积、非索菲群存在性证明、康涅斯刚性猜想等10项长期悬而未决的数学与理论计算机科学难题，部分问题已积压超过十年。

　　极低成本：按Sol API费率计算，寻找这些解决方案所需的总词元成本仅为约2000美元（约合人民币13500元）。

　　验证流程：AI生成数学论证后，由人类借助同一模型协助整理论文草稿，再转化为Lean代码进行形式化验证，所有论证均由AI系统生成。

　　

　　三、底层革新：自GPT-4.5以来的最大预训练模型

　　全新架构：Astra来自一轮全新的预训练，是OpenAI自GPT-4.5以来训练的最大模型，内部代号为“mewfour”。

　　推理与协作：模型面向更强的推理和协作型工作流，可组织和协同AI智能体，适合应对长周期、高难度的复杂任务。

　　命名待定：Astra可能被命名为GPT-6，也可能作为GPT-5系列的衍生版本（如GPT-5.7）推出，正式名称尚未敲定。