AI 为何突然擅长数学：从提示序列与分支因子看模型解题方式
作者 Ankit Maloo 分析 OpenAI、Anthropic 今年接连给出数学问题证明与反例的原因，认为关键在于模型能以深度优先方式把每条可行路径走完，再用自动验证器剪枝。
News 精选
AWS 提出 Trust in Depth：让智能体获得更多自主权而不失控
AWS 副总裁 Shawn Bice 提出 Trust in Depth 框架，主张在智能体行为可被验证时让它自主行动，把人工判断留给真正需要决策的环节。
AWS Machine Learning Blog
Google 与 Meta 发布前沿模型，AI 竞赛重新升温
Google 发布 Gemini 4 Argon，Meta 发布 Muse Wonder Full，两家公司称其模型在多项基准上可与 OpenAI、Anthropic 的旗舰模型竞争。Google 为 Argon 定出激进价格，推广期内每 token 比对手低最多 80%。文章认为，两家公司凭借庞大用户生态重新回到前沿竞争，AI 竞赛进入新阶段。
The Verge · AI
InstructGPT 作者 Diogo Almeida 谈 Jev：为软件而非聊天打造的 System One 模型
TypeSafe AI 创始人兼 CEO Diogo Almeida 在 Latent Space 播客中介绍新模型 Jev，称其为面向软件消费的 System One 大模型。
Latent Space
Hugging Face 发布 2026 夏季开源模型观察报告
Hugging Face 发布 2026 年 1 月至 8 月的开源模型观察报告，基于 Hub 数据指出中国实验室在多数月份推出的最大开源模型参数量超过美国实验室，中国月度上限在 754B 至 2.78 万亿参数之间，美国模型在七个月中有五个月低于 130B。
Hugging Face Blog
已经到底了