前 DeepMind 研究员团队用 Lean 形式化对齐理论,急招 Lean 工程师
geoffreyirving · x · 2026-10-07
Geoffrey Irving 团队正在招聘精通 Lean 的工程师,参与用形式化方法构建对齐理论:其 Resolution(学习理论)分支共分 6 个方向,奇点消解定理是其中一个方向下的一条定理。项目招贤信息已挂出,适合对形式化数学与 AI 对齐交叉领域感兴趣的人。
「漫话AGI」频道最新
- Vinay Prasad 批 2026 诺奖光遗传学遗漏 Boyden 与张锋 — VPrasadMDMPH · 2026-10-07
- Luiza Jarovsky：能力过阈值后，AI 对齐恐不再可行 — LuizaJarovsky · 2026-10-07
- François Fleuret 感慨：智能已如自来水般从无生命物体中流出 — francoisfleuret · 2026-10-07
- Fleuret 断言:版权与监管是 AI 前的最后一搏,终将被碾碎 — francoisfleuret · 2026-10-07
- 博士选题视野收窄到下一篇论文?研究者论 AI 时代科研短视化 — chris_j_paxton · 2026-10-07
- Dario Amodei 2019 年未公开备忘录曝光:五步走「通往 AGI 之路」全部应验 — kevinakwok · 2026-10-07