DeepSeek-R2为什么还没发？

全网期待的DeepSeek - R2再次被曝推迟。The Information称因CEO不满其表现，且可能因缺英伟达H20芯片致研发慢。回顾其“难产”过程，网友看法不一，有人认为延迟值得，有人推测要等V4。

CVPR 2025 多模态大一统：斯坦福 x 复旦提出符号主义建模生成式任务

来自多机构研究团队提出基于符号化表征的生成任务描述框架，将符号化思维引入生成任务建模。实验证明，该框架在跨模态生成任务中表现出色，为推进生成式人工智能能力提供了成本效益高且可扩展的基础。

这款开源神器把Excel翻译卷出新高度！免费、无限文件大小、公式精准！

翻译大型或复杂文档一直是痛点，免费工具效果差或限制文件大小，付费成本高。infrost开发的DeeplxFile基于Deeplx和Playwright打造，免费、不限文件大小，擅长处理超长文本和复杂Excel公式，还能转PDF为可编辑文件。

OpenAI帝国的真相与幻象——496页「Empire of AI」中文版电子书分享！

资深科技记者Karen Hao新书《Empire of AI》出版，496页巨著撕开OpenAI真实面貌。书中把其比作殖民帝国，揭露生成式AI繁荣背后隐形成本，还记录其从理想到现实转变、GPT - 3背后故事及2023年董事会政变等。

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

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

英伟达新“桌面超算”800GB大内存，满血DeepSeek R1能装1个半

英伟达在Computex大会宣布新办公室落户中国台湾省台北市，还推出多款新品。如面向个人的DGX Station有800GB内存，能跑大模型；面向企业的RTX PRO Server可加速多种用例。此外，还发布新平台、宣布合作等。

怎么回事？刚被OpenAI收购，Windsurf就发了个自己的模型

5月初，刚被OpenAI收购的Windsurf发布AI编程模型SWE - 1，该模型针对软件工程全流程，核心是流动感知，实现人机自然交接。它有三个系列，已上线可免费使用，开发灵感源于编辑器，在评估和实测中表现良好。

Next.js 真有那么好用吗？Netlify 谈他们遇到的六个现实问题

Netlify 部署大量 Next.js 网站时遇到诸多挑战。如无适配器支持、无生产级无服务器部署文档、存在未文档化行为、未基于开放 Web 标准、缺乏路线图可见性和发布可预测性等，并提出应对办法与展望。

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

企业微信给AI写了94份说明书，Claude Code现在能直接干活

北京时间8月17日，企业微信更新，将能力域从7个扩到12个，参考文档扩到94份。介绍了其能操作的业务品类，分析文档权重体现的产品意图，阐述三个设计细节，指出想象空间、机会及坑，强调此次更新比首次更重要。