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 skills 作为可训练参数 — AI agent 经常失败，因为其指令（即 skills）只能手动修改，无法保证效果提升。了解 SkillOpt 如何将 skill 编辑转变为训练过程……
• Memora：一种在抽象性与具体性之间取得平衡的谐波记忆表示 — AI agent 无法记住过去的对话，必须不断重新加载或检索上下文，随着任务变长变复杂，效率越来越低。Memora 通过……解决了这一问题