姚期智与杨植麟联合提出 TCSExam，Kimi K3 将图论参考纪录从 629 条边推进到 630 条
姚期智与月之暗面创始人杨植麟等联合提出 TCSExam，用 100 项理论计算机科学研究任务评测前沿 AI Agent 的科研能力。Kimi K3 在 124 个点的图构造任务中构造出 630 条边、超过此前 629 条的参考纪录，并通过程序验证。该框架通过 Lean 4、程序检查器和 Checkpoint 机制分别核验定理证明、算法表现与中间推导，避免把局部进展误判为完整成果。
#月之暗面
雷峰网AI 评分6060
博客园AI 评分6060 Kimi K3 的 Attention Residuals 原理与 SGLang、vLLM 实现梳理
作者系统梳理了 Kimi Team 技术报告中的 Attention Residuals，把标准残差在深度维的等权累加换成可学习伪查询加 softmax 注意力，并给出 Block 版本以降低内存。
CNCFAI 评分5858 OpenKruise Agents v0.6.0 发布，强化 Agent Sandbox 网络管控与自动化
OpenKruise Agents v0.6.0 发布，新增 traffic-control-plane 与 traffic-proxy 两个组件，CRD 从 6 个增至 12 个，自 v0.3.0 以来合并 283 个 PR、新增 27 位贡献者。