Apart Research和Atlas Computing正在启动一项专注于安全程序合成的奖学金项目，旨在将形式化方法应用于AI生成的代码。该项目正在为需求获取、验证、基于规范的开发和对抗性鲁棒性等项目寻找导师。导师申请截止日期为2026年5月5日，相关的黑客马拉松将于5月22日至24日举行。 AI
影响 加速对AI生成代码的形式化验证和安全性的研究，可能提高其可靠性。
排序理由 这是一项关于AI安全和形式化方法的奖学金项目公告。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
<div><figure><a class="image-link image2 is-viewable-img" href="https://substackcdn.com/image/fetch/$s_!LOz7!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8fa04fc6-b763-489d-bd4c-7490035cb513_1219x476.png" target="…