标签：开源

Dapr 1.18 推出可验证执行功能，为 AI 智能体与工作流赋予密码学信任能力

分布式应用运行时 Dapr 发布 1.18 版本，核心亮点是“可验证执行”功能集，通过密码学签名为工作流和 AI 智能体提供防篡改的执行记录与溯源能力。这是自 Dapr 1.10 以来最重要的更新之一，旨在解决 AI 自主决策时的信任与合规难题。

前端部署平台 Vercel 正式开源了 AI 智能体开发框架 Eve，采用“文件系统即架构”的设计理念，将指令、工具、子智能体等能力以文件形式组织，并内置持久化执行、沙箱运行和人工审批等生产级特性，意在降低构建可部署智能体的门槛。

自由软件基金会（FSF）公布其 LibrePhone 项目半年进展，通过分析超过 200 个 Lineage 安装包中的非自由 blob 固件，发现大量闭包在不同设备间共享，为逆向工程和最终实现完全自由的智能手机操作系统打下基础。

GitHub 正式在 Copilot 中引入开源权重模型 Kimi K2.7 Code，成为该平台模型选择器中首个可选的开放权重选项。此举直接降低了开发者的编码辅助工具成本，同时为开发者提供了更多模型选择余地。

一个名为 AXIOM 的开源项目展示了如何从零编写一个专为 LLM 推理设计的 Rust 操作系统内核，旨在解决 Linux 通用调度和内存分配机制在推理场景下的低效问题，能大幅降低模型层间切换的流式传输开销。

Meta 发布了 Brain2Qwerty v2 模型，用非侵入式脑磁图（MEG）记录活动，从打字信号中重建句子。平均词错误率降至 39%，最佳参与者达到 22%——这一水平正在逼近需要开颅手术的脑植入方案。

Hugging Face 联合 Cerebras 推出了一套模块化的实时语音-语音 AI 流水线，用 Cerebras 的推理加速能力让 Google DeepMind 的 Gemma 4 大模型在对话中的延迟降至接近人类交互水平，并已部署在超过 9000 台 Reachy Mini 机器人上。

上纬新材在控制权变更后，正式以“上纬启元”品牌进军个人机器人赛道，并推出全球最小的全身力控人形机器人启元Q1。CEO田华首次公开表态，将战略重心从工业工具转向消费级个人机器人，目标是通过平价、开源和模块化设计，让机器人成为普通用户的成长伴侣。

小米开源 AIoT 操作系统 openvela 启动首届全球硬件开发者大赛，不设命题限制，鼓励开发者基于这个已获亿级量产验证的系统，构建从底层适配到智能交互的全新 AI 硬件产品。这标志着 AI 硬件的系统基座竞争从封闭走向开放。

奥地利遭遇极端高温，当地空调普及率极低，中国美的的移动分体空调成为抢手货。一位程序员用 3 个 AI 代理程序自动监控库存，成功锁定全奥地利最后一台，驱车 200 公里提货，过程还遭遇临时加价。这次“AI 抢空调”事件，生动展示了代理式 AI（Agentic AI）在真实物资竞购场景中的实用价值。