Redis之父宣布“Redis再次开源”！网友：骗我一次，算你狠；骗我两次，是我蠢

Redis公司将Redis重新拉回开源阵营，自Redis 8开始增加AGPLv3许可选项。此举源于之前许可引发社区不满，此次重新开源虽受关注，但部分开发者仍存疑虑，同时还介绍了相关许可证区别及社区对此事的讨论。

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

一个Skill让DeepSeek V4 Pro超越Fable 5？热门插件被锤了

前两天J-Space凭夸张测试结果刷屏，宣称一份Skill接入Agent环境，能让V4 Pro在多基准大幅提升，部分成绩超Fable 5。但社区复测结果相反，作者未公开完整评测记录，还删质疑帖，引发公开打假。

突发，Fable 5.1泄露了！Claude又叒叕全球大宕机

今日，Fable 5.1被曝开启灰度测试，部分Claude用户已免费试用。推测其可能很快全量推送且不涨价。此前Fable 5因性能强受限，开发者期待5.1版。同日Claude全球大宕机，Anthropic正冲刺万亿估值。

The Batch: 929 | Qwen3.5 超越更大模型，领跑视觉基准测试

阿里巴巴发布 Qwen3.5 系列，含 8 个开源权重的视觉 - 语言模型。其小模型表现超大体量 OpenAI 开源权重模型，在视觉任务中整体出色，部分在语言任务也有竞争力。虽团队有人员离职，但阿里承诺加大 AI 投入。

ICLR2026｜东方理工大学、上海交通大学等：GenSR：把“离散的公式搜索”变成“连续的地图寻优”

符号回归（SR）目标是从观测数据自动发现数学表达式，但经典方法在离散方程空间搜索有局限。东方理工与上海交大团队提出GenSR，将方程世界重参数化为连续隐空间，用双分支CVAE构造并搜索，实验效果良好。

又上Trending，这个项目赋予AI灵性，可以和你一起玩游戏看电视！

项目 AIRI 可让用户轻松拥有数字生命。与其他项目不同，它支持多种 Web 技术，能在现代浏览器和设备运行，还能玩游戏、看视频。目前已完成部分基础功能，支持众多 LLM API 服务，还衍生出多个子项目。

谷歌、Anthropic双重围剿下的OpenAI，正面临「生死抉择」

进入2026年，OpenAI将部分重心转向企业级市场，CEO奥特曼召集企业高管聚会，传达服务企业用户意向，还将推新方案助企业AI转型。其发力企业市场，是因流量被谷歌等竞品追赶，似走到转型十字路口。

智谱新模型也用DeepSeek的MLA，苹果M5就能跑

智谱AI上市后发布新成果，开源轻量级大语言模型GLM-4.7-Flash，API免费开放调用。该模型是30B总参数、3B激活参数的MoE架构，定位为“本地编程与智能体助手”，评测表现佳，采用MLA架构，多平台支持。

下一代搜索：通过 MCP 实现 AI 与 OpenSearch 的融合

本文探讨 MCP 如何在 AI 代理和 OpenSearch 间建桥梁，创建智能搜索应用。介绍搜索从关键词到代理的演变，还通过电商、可观测性等场景演示代理搜索实践，显示 MCP 与 OpenSearch 结合能带来上下文感知的智能数据访问体验。