OpenAI Astra 被曝在数学开放问题上取得突破，形式化验证、科研 Agent 与企业应用共同说明，AI 竞争正在从单点能力展示走向可验证的复杂任务系统。

AlphaChip原班人马融资、自进化模型创业、OpenScience开源与Agent工程细节同步出现，AI竞争正在从模型能力转向芯片、科研和系统闭环。