Irving:理论计算机科学界的「障碍文化」为对齐研究带来希望
geoffreyirving · x · 2026-08-25
Geoffrey Irving 对理论计算机科学家加入 AI 对齐领域表示乐观。他指出,该领域拥有丰富的「障碍文化」,即大量定理形式化地证明了特定算法或证明路径是不可行的,这种思维方式有助于探索对齐难题的边界。
所属事件:Irving：对齐研究需要理论计算机科学的障碍文化(3 条相关)→
「安全」频道最新
- 被批在美推高训练成本却用中国模型 — jkubicki · 2026-08-25
- Thinking Machines 提出开放权重模型的安全路径 — luke_drago_ · 2026-08-25
- 汤森路透被指基于中国开源模型用未授权数据 — BlancheMinerva · 2026-08-25
- FLI 发布独立 Rogue AI 追踪器，监控自主 Agent — wschroll · 2026-08-25
- 反 AI 者无视专家观点，或将导致监管严重滞后 — jptboy · 2026-08-25
- 推 Tinker 资助计划，最高 5 万美元扶持开源权重安全研究 — simonguozirui · 2026-08-25