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 agents 能够创……
• SkillOpt：作为可训练参数的 Agent skills — AI agents 经常失败，原因在于其指令或 skills 被手动修改且无法保证改进。了解 SkillOpt 如何将 skill 编辑转化为训练过程……
• Memora：兼顾抽象与具体性的谐波记忆表征 — AI agents 无法记住过往对话，必须不断重新加载或检索上下文，且随任务变长变复杂而效率下降。Memora 解决了这一……