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 通过……解决了这一问题