AI 核验的务实层：机房检查和芯片约束
geoffreyirving · x · 2026-07-25
作者进一步解释了“pragmatic”这一层：凡是不去检查正在运行代码的方法，都算在内。
举例包括：
- 数据中心检查
- 硬件位置追踪
- 芯片控制与约束
- 让训练比推理更难的芯片设计
他的意思是，真正可落地的核验方案还有很大的探索空间，未必一上来就要依赖 enclave 或纯数学证明。
所属事件:Geoffrey Irving 剖析 AI 条约核验的三层技术路线(7 条相关)→
「漫话AGI」频道最新
- Jean-Vincent：编程语言的进步常源于「解决问题很难」这个过程 — jjvincent · 2026-09-11
- AI 消耗量分三波浪潮：2026 年 2 月 Agent 用量已超人类 — AccBalanced · 2026-09-11
- Novosad 赞同 Hassabis 的 AI 安全制度构想，反对削弱美国实验室 — paulnovosad · 2026-09-11
- Ultraventures 创始人：AI 跳过钻研过程，「公共知识」或被侵蚀 — jjvincent · 2026-09-11
- 经济学家：通往安全 AGI 要靠大实验室内部工程师，而非外部踩刹车 — paulnovosad · 2026-09-11
- 长文反驳 AI 灭绝论:所谓「10% 灭绝风险」是为逃避产品责任 — gerardsans · 2026-09-11