前DeepMind研究员团队用Lean形式化对齐理论

前 DeepMind 研究员 Geoffrey Irving 的团队正在推进一项以形式化方法构建对齐理论的项目，并公开招聘精通 Lean 的工程师参与其中，招聘信息已挂出。据报道，该项目名为 Resolution，其学习理论分支共分 6 个方向，奇点消解定理是其中一个方向下的一条定理。截至 2026 年 10 月 7 日，公开信息主要集中在招聘与项目结构说明上，尚未披露项目具体进展、团队规模或相关定理的完成情况。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。