【每日AI前沿追踪】2026年09月22日 核心技术与产业动态速递
昨日(9月21日周一)双主线:Agent 基础设施从’生成’转向’可信接地’——蚂蚁 Code2Skill 从开源代码合成百万级验证技能库(SWE-bench Verified 九组全升)、小米+北大 CodeMidas 用纯代码自建 5,545 个 RL 环境(DeepSWE +11.7pp)、AWS+Berkeley 的 SWE-Proof 用形式化证明审计掉 26.8%‘通过测试但没修对’的 patch;评测方法学三连击——next-turn 指标被证明无法预测工作流成功(闭环重放最高仅 10.4%)、τ^τ-bench 揭编码智能体真实客户场景仅过 23.9%、生产 ledger 研究证明 harness 缺陷而非模型能力才是小模型 Agent 首要失败源(transport 36.2% vs capability 17.3%)。产业端 Grok 4.7 打响超级发布周第一枪,Amazon 封禁 Meta Muse 引爆 Agent 生态主权之争,Google 开源 AX 编排器瞄准数十亿并发智能体,Qwen-Image-2.1 与 Step 5 Preview 国产双发。