国际前沿科技简讯（客观属实）
8月3日，开源科学模型 AI数学验证 OpenAI对外披露Astra模型最新内部测试成果。依托多智能体协同推理架构，该模型完成十项长期悬而未决的数学难题推导，并且输出配套可机器核验的形式化证明。Astra区别于传统单模型问答模式，可自主拆分任务、多智能体互相校验、持续开展长周期科研探索。目前该模型仅对内开放，尚未推出公众版本，相关实验材料公开供学界核验，业内持续关注后续开放进度与实际落地边界。AI开源新动态 AI全模态模型 标题1. OpenAI Astra攻克数学难题
​2. Astra实现长周期推理突破
​3. 多智能体Astra展露潜力
​4. Astra推进科科研AI新范式 AI学术前沿 AI超维度 多模态AI模型 全模态AI