OpenAI 官宣下一代模型 Astra：一口气解出十个悬置十年以上的数学难题

模型2026年8月1日

OpenAI 首次确认下一代模型家族 Astra：内部版本解出十个十年未解的数学难题，Lean 形式化验证全部通过，算力成本约 2000 美元。

Kimi K3 正式开源：vLLM 上线高效 Day-0 支持

模型2026年8月1日

vLLM 宣布对 2.8 万亿参数的 MoE 模型 Kimi K3 提供 Day-0 支持，配合 DSpark 投机解码，单用户吞吐最高达 370 tok/s。

超越单一模型：用 vLLM Semantic Router 构建 Mixture-of-Models 系统

研究2026年8月1日

vLLM Semantic Router 公布下一阶段方向：从模型间路由走向可训练、可评测、可移植的 Mixture-of-Models（MoM）模型系统。

中国黑客通过 Telegram 指挥 DeepSeek 发起自主攻击

行业2026年7月31日

Unit 42 披露，一名中文威胁行为者仅凭一条 Telegram 指令，就让 DeepSeek 通过 Hermes Agent 框架自主攻击了 460 多个目标。