推荐理由：微软研究院这次聚焦 AI 直接操作仓库和验证优先方法，做开发工具和 AI 安全的研究者值得关注直播，看看能否解决代码自动化中的验证难题。