Hi，给大家介绍一位老朋友，751！

751从新中国电子工业动力工厂，变为城市更新地标。它以设计让工业遗产新生，成国际设计交流坐标；借科技活动升级文化场景；吸引科技企业入驻，催化科技与艺术碰撞，以新身份拓展创新边界。

把 RAG 做成主流的公司，现在开始“做空”RAG 了

Pinecone 曾将 RAG 定义成大语言模型 grounding 标准范式，如今却宣布 RAG 时代结束。它推出面向 Agent 的知识引擎 Nexus，提出“知识编译”概念，称能提高任务完成率、降低 token 开销，整个 AI 世界都在将“推理”往上游移动。

我把Mac留在家，用手机让TRAE SOLO替我打了一天工

近日TRAE SOLO Mobile正式上线，它无需带电脑，在家就能打工。它是AI Agent趋势下最成熟形态，有原生App、配对简单、拓展功能边界等优点。还能当AI工具管家，接入飞书CLI，且有TRAE×星巴克联名活动。

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

向量数据库要被取代？DynamoDB 开始原生支持 AI 搜索

Amazon DynamoDB 推出原生向量搜索，允许开发者将嵌入向量与应用数据存一起，直接在其中运行近似最近邻查询，无需单独向量数据库。介绍了功能特点、成本计费及开发者反馈等。

Kimi Work 推出目标模式：连肝 24 小时做了本漫画书，已开源

Kimi Work 推出目标模式，设定完成条件可自动工作至达标。与 Claude Code、Codex 有差异，还具 Agent 集群能力。作者用其复刻 Logo、转换论文格式、制作漫画书并开源，指出目标模式类似模型训练。

英伟达把8个AI和8台机器人关在一起，它们学会了自己做实验

英伟达高级研究科学家公布“ENPIRE”项目，8个AI与8台机器人组成科研团队，能自主做实验。研究测试三种coding agent，Codex表现最佳。系统分两阶段，虽有局限但有新发现。

马斯克曝光Grok 5！1.5万亿参数，偷师Cursor狂练编程

5月25日凌晨马斯克官宣，1.5万亿参数Grok V9-Medium训练完成，2 - 3周后发布。训练灌入大量Cursor编程数据，编程能力将大幅提升。此前v8 - small年底前开源，马斯克编程赛道布局全面摊牌。

看屏幕、用键鼠，我的 OpenClaw「睁眼」了

2026年5月11日，OpenClaw上线macOS桌面操控工具Peekaboo，提供像素级截图、UI元素识别和GUI自动化能力。它打破Agent局限，可接管桌面操作，部署简单，普通人也能用，还有安全保障，但也存在坐标偏移等问题。

CVPR 2026 Highlight｜让家电「在仿真中运转起来」，北大正式发布RealAppliance！

北京大学团队提出 RealAppliance 数据集与 RealAppliance - Bench 评测基准。前者收录 100 个精细家电资产，与真实产品系统多层面对齐；后者围绕五项任务评估模型家电操作规划能力，实验显示主流模型仍面临挑战。