推理能力大比拼，《推理模型综合测评报告 2025 》正式发布

过去半年，推理能力成大模型新分水岭。InfoQ研究中心评测八款热门模型，围绕五大维度，用超90%原创试题。发现各模型在不同维度表现有差异，推理模型发展正从‘一个大脑’变为‘带工具的多能智能体’。

DeepSeek R1 的小更新，却大有深意？

5月28日，DeepSeek低调宣布R1模型小版本试升级，API接口和使用方式不变，但未公布具体更新内容。从用户反馈看，语义理解、逻辑推理等能力提升，实测表现出色。此次升级或有安全、产品路线等考量。

深度剖析 MCP SDK 最新版： Streamable HTTP 模式正式发布，为你实测揭秘

MCP SDK 新版本 v1.9.0 发布，新增 streamable HTTP 传输模式。本文对该模式全面剖析与实测，涵盖快速上手、核心参数、session - id 等内容，还介绍开发服务端及多应用实例模式，指出新模灵活性提升但有不足。

这款小众 AI 产品，真让我眼前一亮

AI笔记应用Granola获4300万美元融资，估值达2.5亿美元。它打破传统会议记录模式，发挥人和AI优势。其创始人分享创业和产品理念，探讨产品决策、用户反馈筛选等问题，还谈及旅行对直觉的影响及产品发展方向。

二十年老牌 IDE 栽在 AI 上！JetBrains 被差评逼疯批量删除评论，用户怒打更多1星抗议

JetBrains 2023 年 12 月发布的 AI 助手插件下载超 2200 万次，但评分仅 2.3 分。该公司批量删负面评论引用户不满，其还存在安装难移除、体验差等问题。虽推出免费套餐和 Junie 智能体，仍面临成本和竞争压力。

本文关注vllm V1中管控模型分布式推理的Executor部分，介绍其类型、Executor-Workers架构及数据传输机制，对比V0架构优势，以单机多卡的MultiprocExecutor为例展开讲解，还提及不同数据量的传输方式及相关代码。

长上下文也死了？英伟达说：压根不需要

英伟达研究称，Agent用短上下文配合状态压缩，准确率基本不降，成本最高节省233.3倍。

李沐：我带着新模型回来了！

李沐团队的 Higgs Realtime Duplex 以 160毫秒窗口同时听说和调用工具，基于 45B MoE；目前开放候补名单，即将上线。

新一代Mac mini搭载M6开售！M5 Ultra也来了

苹果更新Mac mini和Mac Studio，带来M6、M5 Ultra芯片。M6是苹果首颗2nm制程M系列芯片，M5 Ultra为四晶粒封装SoC。苹果用四个档位搭建桌面Mac本地AI算力梯队，8月27日预购，9月22日发售。

半年4轮融资、总额5亿元！西湖大学教授押注具身智能「GPT时刻」

具身智能通用大脑公司西湖机器人半年完成4轮融资，总额5亿。其由顶尖团队创立，有先发技术优势，落地两项首创底层技术架构，打通技术链路，已拿下近亿元订单，将推动具身智能GPT时刻到来。