Nora Ammann 加入 OpenAI 基金会，出任形式化方法项目总监

ARIA Research 研究员 Nora Ammann 宣布加入 OpenAI 基金会，担任形式化方法（Formal Methods）项目总监。她在 ARIA Research 工作两年后转任该职位，相关评论认为这体现了 OpenAI 基金会将资金投入形式化方法等重要方向的动向。