Mistral 发布 Mistral Large 4（Le Chonk）并扩展 Mistral Studio 平台
Mistral 发布 Mistral Large 4（代号 Le Chonk），并扩展企业平台 Mistral Studio，新增托管智能体、应用、工作流能力以及企业上下文、智能体可观测性和评测功能。
推荐理由：Mistral 同时更新模型与企业平台，并给出客户在生产环境中的具体用法和节省工时数据，可据此判断企业智能体落地的形态。
#部署/工程
Mistral AI精选AI 评分7575 AWS Machine Learning Blog精选AI 评分6060 生产级 AI 智能体的四层上下文工程：Deep Insight 在可运行代码中的实现
AWS 团队以开源多智能体数据分析方案 Deep Insight 为参考实现，把生产级 AI 智能体的上下文工程拆成四层：多智能体架构隔离上下文、用提示词限制输出、把重内容外置到文件系统、用验证智能体与兜底机制把关。
推荐理由：AWS 团队把 Anthropic 的上下文工程建议整理成四层可落地做法，并给出开源参考实现中的具体代码与节省比例。
Microsoft Research精选AI 评分6666 微软研究院推出 Magnetar：基于证明的通用计算 zkVM
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程，在笔记本上每秒证明 720 万至 870 万条处理器指令。在 15 个基准程序上，它平均比现有最快的 zkVM 快 10 至 39 倍，证明验证耗时约 12 毫秒。其安全性只依赖 SHA-256、SHA-3 等标准哈希函数，不需要椭圆曲线、格密码、可信设置或未证明的纠错码猜想。
推荐理由：微软研究院的 zkVM 把证明速度提升到此前同类系统的 10 至 39 倍，且只依赖标准哈希函数，读者可据此判断可验证计算的工程可行性。
已经到底了