Microsoft Research Blog · RSS 摘要

信源：Microsoft Research Blog · https://www.microsoft.com/en-us/research/feed/

• Orchard：面向可扩展 agentic AI 的开源框架 — Orchard 是一个面向研究社区的开源框架，用于跨任务类型训练和评估 AI agent。它在降低复杂度的同时，支持模型获得强大性能……
• Echoverse：面向 computer-use agent 的深度、可演化环境 — Computer-use AI agent 在处理邮件和客服等多步骤工作流时表现乏力。Echoverse 在真实环境中训练 agent，而非仅仅提供更多训练数据……
• EvoLib：将经验转化为持续演化的知识 — LLM 不会仅凭记住更多内容而变得更聪明。EvoLib 将经验转化为持续演化的知识，提炼出可复用的 skill 与洞察，帮助模型跨任务学习与适应……
• 在 SymCrypt 中验证 Rust 密码学实现：从标准到代码 — 密码学代码为现代计算系统提供关键的安全防护。本文介绍一种新方法，如何在开发人员编写代码时即进行验证，同时兼顾速度与灵活性……
• Aurora 1.5：面向天气和地球系统应用的开源基础模型扩展 — Aurora 1.5 为 Aurora 基础模型新增 22 个变量、逐小时时间分辨率以及概率集合预报能力，使其在真实场景的天气和地球系统应用中更具实用价值……