Apart Research 推出安全程序合成奖学金项目

Apart Research 和 Atlas Computing 公布了安全程序综合研究金（Secure Program Synthesis Fellowship），旨在正式方法和人工智能安全性的交叉领域。该项目优先研究有关如何指定和验证 AI 系统的未详细说明的问题，解决由规格不佳传播到下游实现的風險。参与者将在 Erik Maijer 和 Shriram Krishnamurthi 等导师的指导下，以小团队的形式研究证明工程（proof engineering）、红队演练（redteaming）和 SMT 求解等主题。申请者不需要特定的背景，但优先考虑具有验证软件或关键系统设计技能的人。申请截止日期是 **5 月 31 日**。