Hugging Face Kernels 重大更新
Hugging Face Kernels 完成重大更新，新增 Hub 内核仓库类型，强化安全机制并扩展框架支持。默认仅加载可信发布者的内核，已支持代码签名及手动验证，但加载时尚不验签。此次还重整 CLI，新增 Torch Stable ABI 与 Apache TVM FFI 支持，为跨框架内核和 AI 智能体开发奠定基础。
#开源生态
#开源生态
今日 0 条Hugging Face BlogAI 评分4747
Mistral AI精选AI 评分6666 Mistral 发布 Leanstral 1.5：以 Apache-2.0 开源，提升 Lean 4 形式化验证能力
Mistral 发布 Leanstral 1.5，这款面向 Lean 4 证明工程的模型总参数为 119B、激活参数为 6B，以 Apache-2.0 许可开放权重并提供免费 API。
推荐理由：从数学竞赛题到真实代码缺陷，材料给出了形式化验证的成本对比与工程案例，便于判断证明模型进入开发流程的实用价值。
Hugging Face BlogAI 评分5151 Hugging Face 与 Cerebras 将 Gemma 4 引入实时语音 AI
Hugging Face 与 Cerebras 展示了接入 Gemma 4 的实时语音到语音演示，以开放、模块化架构和快速推理改善对话响应。流程由 NVIDIA 的 Parakeet 识别语音，在 Cerebras 上运行 Google DeepMind 的 Gemma 4 31B，再由阿里的 Qwen3TTS 生成语音，各组件均可替换。
Hugging Face BlogAI 评分5858 ScarfBench：评测 AI 智能体的企业 Java 框架迁移能力
ScarfBench 是面向企业 Java 跨框架迁移的开放基准，评测中表现最强的智能体在行为验证环节的成功率仍低于 10%。它覆盖 Spring、Jakarta EE 和 Quarkus，包含 34 个应用、102 个框架实现、204 项迁移任务及 1,331 项专家编写的测试，要求迁移后的应用通过构建、部署和行为验证，而非仅与参考代码比较。
Google DeepMind精选AI 评分7777 Google DeepMind 发布 DiffusionGemma，文本生成速度最高提升至 4x
Google DeepMind 发布实验性开放模型 DiffusionGemma，以 Apache 2.0 许可提供权重，在专用 GPU 上实现最高 4x 的文本生成速度。
推荐理由：本地低并发与高并发云端的收益差异交代清楚，能帮助开发者结合输出质量取舍判断文本扩散是否适合自己的工作负载。
Google DeepMind精选AI 评分7979 Google DeepMind 发布 Gemma 4 12B：统一、无编码器的多模态模型
Google DeepMind 发布 Gemma 4 12B，采用统一的无编码器架构，将视觉与音频输入直接接入 LLM 主干，面向笔记本本地多模态智能体应用。官方称其标准基准表现接近 26B MoE 模型，总内存占用不到后者一半，可在配备 16GB 显存或统一内存的设备上运行，并配备 Multi-Token Prediction（MTP）草稿模型以降低延迟。
推荐理由：无独立编码器的音视频处理路径与本地内存要求，为评估多模态智能体从大模型迁移到笔记本的资源取舍提供了具体参照。
Google Research精选AI 评分6060 Google Research 开源水文建模框架，支持本地化 AI 洪水预报
Google Research 在 GitHub 以 Apache 2.0 许可开源水文建模框架，让研究人员和预报机构使用驱动 Flood Hub 的模型架构训练洪水预报模型。
推荐理由：框架允许气象水文机构保留数据控制权并融入本地资料，已有业务平台的适配案例为接入现有洪水预警流程提供了参考。
Mistral AIAI 评分5959 Mistral AI 发布开源 Search Toolkit 公共预览版，整合搜索管线
Mistral AI 今天发布 Search Toolkit 公共预览版，以统一接口整合 AI 应用搜索管线的数据摄取、检索与评估，开源并支持云端、本地和边缘部署。框架支持文档解析、分块、嵌入向量生成，以及 BM25、稠密向量和混合检索，内置召回率、精确率、MRR 和 NDCG 指标，可独立衡量检索器表现。入门应用模板提供预配置的 Vespa 索引、混合检索和示例数据摄取管线。
Mistral AI精选AI 评分8080 Mistral 发布 Medium 3.5，为 Vibe 云端智能体与 Le Chat Work mode 提供支持
Mistral 发布公开预览版 Mistral Medium 3.5，并将其设为 Vibe 和 Le Chat 的默认模型，支持云端编码智能体与多步骤 Work mode。
推荐理由：本地会话连同任务状态和审批记录迁至云端的设计，为长任务异步执行与保留人工审查之间的衔接提供了具体参考。
Google ResearchAI 评分4141 Google Research 通过全球合作与开放资源推动科研影响力
Google Research 通过全球科研合作、开源工具与开放数据集，已支持全球超过 250,000 名研究人员和开发者。其与 UCSC 基因组研究所合作改进泛基因组参考，将遗传变异识别错误减少 50%。包含 MedGemma 的开放权重医疗模型套件 HAI-DEF 下载量已超过 4.8M。
Google ResearchAI 评分4949 Google Research 用 AI 生成的合成神经元加速脑图谱绘制
Google Research 利用 MoGen 生成合成神经元形态，将 PATHFINDER 的神经元重建错误率降低了 4.4%。训练数据中加入 10% 的模拟数据后，改善主要来自错误合并减少；按完整小鼠脑规模估算，可节省相当于一名专家 157 年的人工校对工作。MoGen 已作为开源模型发布。
Google DeepMind精选AI 评分8787 Google DeepMind 推出 Gemma 4，以 Apache 2.0 许可开放四种尺寸模型
Google DeepMind 发布 Gemma 4 开放模型系列，采用 Apache 2.0 许可，提供 E2B、E4B、26B MoE 和 31B Dense 四种尺寸，面向高级推理与智能体工作流。
推荐理由：不同尺寸对应的硬件要求、上下文窗口与模态差异，为开发者在端侧离线运行和工作站部署之间选型提供了具体依据。
Google ResearchAI 评分5959 Vibe Coding XR：借助 XR Blocks 与 Gemini 加速 AI + XR 原型开发
Google 宣布 Vibe Coding XR 工作流，结合 Gemini 与基于 Web 的 XR Blocks 框架，称可在不到 60 秒内将自然语言转为具备物理交互能力的 Android XR 应用。
Mistral AI精选AI 评分7373 Mistral 发布 Voxtral TTS：4B 参数语音生成模型，支持 9 种语言
Mistral 发布文本转语音模型 Voxtral TTS，以 4B 参数支持 9 种语言的情感表达语音生成及零样本跨语言声音适配。官方称，在输入 10 秒声音样本和 500 个字符的典型条件下，模型延迟为 70ms；其人类评估显示，自然度优于 ElevenLabs Flash v2.5，音频质量与 ElevenLabs v3 相当。
推荐理由：原文将语音自然度的人类评估与具体输入条件下的延迟并列呈现，为企业权衡语音智能体的表达质量与响应速度提供了参考。
Mistral AI精选AI 评分7878 Mistral 发布 Mistral Small 4，整合推理、多模态与智能体编码能力
Mistral 发布 Mistral Small 4，以 Apache 2.0 许可开放，将推理、多模态和智能体编码能力整合进单一模型。该模型采用 MoE 架构，总参数为 119B，每个 token 激活 6B 参数（计入嵌入与输出层为 8B），支持 256k 上下文窗口、文本与图像输入，并可通过 reasoning_effort 调节推理强度。
推荐理由：将可调推理、图像输入与编码能力放进同一开放模型，为需要兼顾多类任务与部署效率的团队提供了减少模型切换的选型思路。
Mistral AIAI 评分5353 Mistral AI 与 NVIDIA 合作，计划共同开发前沿开源模型
Mistral AI 宣布作为创始成员加入 NVIDIA Nemotron Coalition，并计划与 NVIDIA 共同开发前沿开源 AI 模型。Mistral AI 将贡献模型架构、训练技术、多模态能力及微调工具，NVIDIA 提供算力、模型开发工具和合成数据生成流水线。
Mistral AI精选AI 评分6464 Mistral AI 发布 Leanstral：面向 Lean 4 的开源编码与形式化证明模型
Mistral AI 发布 Leanstral-120B-A6B，面向 Lean 4 形式化仓库任务，以 Apache 2.0 许可开放权重，并接入 Mistral Vibe。
推荐理由：基于真实形式化仓库任务的评测同时列出得分与运行成本，为比较专用模型和通用编码智能体的证明工程取舍提供了依据。
Mistral AI精选AI 评分7575 Mistral AI 发布 Voxtral Transcribe 2，覆盖批量与低延迟实时语音转写
Mistral AI 发布 Voxtral Transcribe 2，包括批量转写模型 Voxtral Mini Transcribe V2 和实时模型 Voxtral Realtime，均支持 13 种语言。
推荐理由：批量版的错误率与定价、实时版的延迟与开放权重条件，为语音工作流在成本、响应速度和部署方式之间的取舍提供了具体参照。
Mistral AI精选AI 评分8080 Mistral AI 发布 Devstral 2 编码模型系列与 Mistral Vibe CLI
Mistral AI 发布 Devstral 2（123B）与 Devstral Small 2（24B）编码模型，并推出支持端到端代码自动化的开源助手 Mistral Vibe CLI。
推荐理由：两种规模模型的基准成绩、许可差异与硬件要求提供了具体选型依据，可用于权衡编码智能体的性能需求和本地部署条件。
Mistral AI精选AI 评分8080 Mistral 发布 Mistral 3，涵盖 Large 3 与 3B、8B、14B 小模型
Mistral 发布 Mistral 3 系列，包括 3B、8B、14B 的 Ministral 3，以及激活参数为 41B、总参数为 675B 的混合专家模型 Mistral Large 3，均采用 Apache 2.0 许可证。
推荐理由：从端侧稠密模型到大型混合专家模型均采用宽松许可证，并给出压缩格式与硬件部署条件，为不同资源预算下的模型选型提供参考。
Mistral AI精选AI 评分7979 Mistral AI 发布 Voxtral 语音理解模型，提供 24B 与 3B 两种规格
Mistral AI 发布 Voxtral 语音理解模型，提供面向生产应用的 24B 和面向本地、端侧部署的 3B 版本，均采用 Apache 2.0 许可证。
推荐理由：将音频问答、摘要和函数调用纳入可开放部署的语音模型，为需要兼顾数据控制与语义理解的应用提供了选型参考。
Mistral AI精选AI 评分7373 Mistral AI 发布 Devstral Medium 与 Devstral Small 1.1，提升智能体编码能力
Mistral AI 与 All Hands AI 合作推出 Devstral Medium 和 Devstral Small 1.1，在 SWE-Bench Verified 上分别取得 61.6% 和 53.6% 的成绩。
推荐理由：两款模型给出了同一编码基准下的成绩与调用价格，并区分开放许可和私有部署路径，便于按预算与部署需求比较选型。
Mistral AIAI 评分4040 Mistral AI 推出 AI for Citizens 合作倡议
Mistral AI 推出 AI for Citizens 合作倡议，帮助各国政府和公共机构按本地需求应用 AI、改造公共服务。该倡议提供自托管、数据主权保障及定制研发，支持针对本地语言、文化和用途共同训练模型。Mistral AI 已与法国、卢森堡、新加坡等国的政府及公共机构开展合作。
Mistral AI精选AI 评分7575 Mistral AI 发布首款推理模型 Magistral，提供 Small 开放权重版与 Medium 企业版
Mistral AI 发布首款推理模型 Magistral，包括 24B 参数的 Small 开放权重版和 Medium 企业版，主打多语言、多步骤及可追溯推理。
推荐理由：开放权重与企业版本并行提供，并披露相同基准下的成绩和部署入口，为比较自部署与托管推理模型提供了具体依据。
Mistral AI精选AI 评分7575 Mistral AI 发布开源编码智能体模型 Devstral，SWE-Bench Verified 得分 46.8%
Mistral AI 与 All Hands AI 合作推出软件工程智能体模型 Devstral，以 Apache 2.0 许可开放，定位为研究预览。模型针对真实 GitHub 问题训练，在 SWE-Bench Verified 上取得 46.8%，比此前开源 SOTA 模型高出超过 6 个百分点，可通过 OpenHands 或 SWE-Agent 等框架处理代码库任务。
推荐理由：同一智能体框架下的基准比较结合单卡运行条件，为评估开源编码模型在本地代码库中的部署取舍提供了具体参照。
Mistral AI精选AI 评分7474 Mistral AI 发布 Mistral Small 3.1，增强多模态理解并支持 128k token 上下文
Mistral AI 发布 Mistral Small 3.1，在 Mistral Small 3 基础上提升文本性能与多模态理解，上下文窗口扩展至 128k tokens。
推荐理由：单张消费级显卡或指定内存的电脑即可运行，加上开放的基础与指令检查点，为端侧多模态应用的部署和定制提供了具体参考。