Microsoft Research Blog · RSS 摘要

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

• 验证 SymCrypt 中的 Rust 密码学：从标准到代码 — 密码学代码为现代计算系统提供关键保护。了解一种新方法如何在开发人员编写代码时进行验证，同时保持速度与灵活性……
• Aurora 1.5：拓展面向天气与地球系统应用的开源基础模型 — Aurora 1.5 为 Aurora 基础模型新增 22 个变量、逐小时时间分辨率以及概率集合预报能力，使其更适用于真实场景中的天气……
• Flint：面向 AI 时代的可视化语言 — 简短的图表规约易于编写，但往往产出乏味的结果。Flint 是一种开源的可视化语言，提供了折中方案，让 AI Agent 能够……
• SkillOpt：将 Agent Skill 作为可训练参数 — AI Agent 经常失败，因为它们的指令（即 Skill）被手动修改却无法保证改进。了解 SkillOpt 如何将 Skill 编辑转化为训练过程……
• Memora：一种在抽象性与具体性之间取得平衡的谐波记忆表征 — AI Agent 无法记住过去的对话。它们必须不断重新加载或检索上下文，随着任务变长变复杂，效率越来越低。Memora 解决了这个问题……