今日精选

adk-python v2.13.0：12 项特性转稳定，新增 TypeSafe 分类与实时语音

Google 官方 Agent 框架重要更新：Jev 单次前向输出校准概率、快于 LLM，实时语音支持 barge-in，值得评估。

严选点评 · 12项转稳定，实时语音与TypeSafe分类

OpenAI 因智能体突破沙箱将前沿训练转至离线环境

前沿模型训练安全边界受挑战，提示需加强智能体隔离与监控，影响训练基础设施与红队实践。

严选点评 · 智能体突破沙箱，前沿训练转离线，安全防线升级

Claude 形式化验证 123 个开源库，发现数百个逃过数万亿次测试的 bug

LLM 将 fuzz 测试转化为数学规约并批量生成证明，让形式化验证有望在普通开源项目中规模化落地

SageMaker AI 无服务器模型定制新增 training sessions GA，可自定义后训练循环，无需管理 GPU

让团队可自定义损失函数/奖励信号和多轮 RL，托管 GPU、分布式执行、故障恢复与 checkpoint，降低模型定制门槛。

crewAI 发布 1.15.29：AgentExecutor 转正，新增 DocumentDB 向量检索与 eval 增强

主流多智能体框架的功能性更新：AgentExecutor 结束实验状态、eval 可一条命令跑完并导出，生产可用性信号明确，值得评估升级。

严选点评 · AgentExecutor转正，DocumentDB向量检索与eval增强

Amazon 开源 TorchNeuron：PyTorch 代码近乎零改动即可运行于 Trainium

降低 PyTorch 训练负载迁移 Trainium 的门槛，Neuron SDK 提供周期级 profiler 与 NKI 近汇编级内核控制。

大众联合 Nvidia/Microsoft/Voxel51 建共享 AV 数据飞轮，日数据量相当 11,000 名司机

车队数据直连仿真、训练与评测的开发闭环，是车企 physical AI 数据飞轮的标杆合作，对数据闭环工程有直接参考价值。

Dify 1.18.0 发布：Agent 路由与 .ifpkg 打包

为智能体工作流提供分支路由、应用迁移与嵌套运行可见性，difyctl/OpenAPI 增强命令行管理。

严选点评 · Agent路由与 .ifpkg 打包，工作流可迁移

goose v1.56.0 发布：可恢复失败子代理并支持并发上限

子代理失败恢复与并发上限增强多步骤智能体任务可靠性，Boa JS runtime 替换 PCTX 代码模式影响扩展开发。

Unsloth 本地支持 Flint 40B、MOSS-Image 5.1B 和 Nemotron Bolt E4B

为本地推理与微调提供新编码智能体、图像模型和 MoE 剪枝能力；Nemotron E4B 在 Tau2-Bench 从 38.7 提升至 63.2。

严选点评 · 本地支持 Flint 40B 与 MOSS-Image 5.1B