AI 核验的务实层：机房检查和芯片约束
geoffreyirving · x · 2026-07-25
作者进一步解释了“pragmatic”这一层：凡是不去检查正在运行代码的方法，都算在内。
举例包括：
- 数据中心检查
- 硬件位置追踪
- 芯片控制与约束
- 让训练比推理更难的芯片设计
他的意思是，真正可落地的核验方案还有很大的探索空间，未必一上来就要依赖 enclave 或纯数学证明。
所属事件:Geoffrey Irving 提出 AI 条约核验的三层技术路线(5 条相关)→
「漫话AGI」频道最新
- Jensen Huang 认为开放模型更适配分布式知识 — clarejtbirch · 2026-07-25
- 机器人抢饭碗引担忧，开发者玩梗反讽“卢德谬误” — csuwildcat · 2026-07-25
- Anthropic 的 Claude 发布节奏据称从四个月一次提速到月更 — dustinvtran · 2026-07-25
- Claude Opus 5 认为自己有 41% 可能值得道德考虑 — imjustnewatai · 2026-07-25
- AI 事故怎么命名，会直接扭曲人们对风险的判断 — sebkrier · 2026-07-25
- Gary Marcus 讽刺未发布 AI 花万亿美元也能做高中生的活 — GaryMarcus · 2026-07-25