前 DeepMind 研究员团队用 Lean 形式化对齐理论，急招 Lean 工程师

前 DeepMind 研究员 Geoffrey Irving 的团队正在招聘精通 Lean 的工程师，参与用形式化方法构建对齐理论。该项目 Resolution（学习理论）分支共分 6 个方向，奇点消解定理是其中一个方向下的一条定理，招聘信息已挂出。