alignment 机构 Resolution 请来哥德尔奖得主 Omer Reingold 领衔理论组
geoffreyirving · x · 2026-10-20
Resolution 创始人 Geoffrey Irving 宣布其理论计算机科学（TCS）团队新领导层：斯坦福教授、2009 年哥德尔奖得主 Omer Reingold 出任 TCS Technical Lead；知名密码学家 Tal Rabin（曾任职 IBM Watson、Algorand，现任 UPenn 教授兼 AWS 总监）出任 Board Advisor，负责团队建设。
Irving 介绍，Reingold 既有 SL=L、zigzag expander 等重量级理论贡献，也有把统计公平性等模糊伦理问题转化为严格理论的经验，希望将两者用于对齐研究。Irving 还提到自己曾在 Lean 中形式化过 Reingold 的 zigzag expander 构造证明。Resolution 是获 Coefficient Giving 1.6 亿美元资助的对齐研究机构，此前还获 OpenAI 1000 万美元 API 额度，并新设 Agent Foundations 团队。
「漫话AGI」频道最新
- 产品战略七步法:漂亮的战略稿只是工作的精选快照 — aakashgupta · 2026-10-20
- 对话式建 App 门槛骤降：弱者拿到魔法箭也难射中 — xiaosun86 · 2026-10-20
- Pinboard创始人警告：AI让自复制代码或有灭圈风险 — moyix · 2026-10-20
- Beff Jezos 回应 AI「合并」论:去中心化竞赛才是博弈最优解 — beffjezos · 2026-10-20
- Miles Cranmer 55 分钟演讲:如何避免 AI Brain Rot、防止能力萎缩 — FinanceYF5 · 2026-10-20
- 全行业争模型霸主,但没人问谁控制电力:五层栈中模型层杠杆最小 — r0ck3t23 · 2026-10-20