伦敦 AI×加密圈热议：用密码学证明给 AI 推理与训练上锁
DavideCrapis · x · 2026-11-14
伦敦 AI x Crypto 社区的 AI Verification Mixer 活动（2026-11-13）聚焦用 ZK 证明、TEE、MPC 等密码学工具做 AI 验证。核心问题包括：如何证明某数据中心只用指定模型做推理、如何在不泄露模型权重或测试用例的前提下证明推理/训练的特定性质。作者认为密码学证明正成为 AI 安全与治理的关键工具，接下来会延伸到区块链本身。
所属事件:伦敦 AI×加密社区聚焦用密码学证明验证 AI 推理与训练(2 条相关)→
「安全」频道最新
- 网安老用户退订 $200/月 OpenAI，转投中国模型做安全研究 — Ikeablows · 2026-11-14
- NonZero 播客合集：Aaronson、Bostrom 等十位思想家纵谈 AI 未来 — GarrisonLovely · 2026-11-14
- 美国国家科学院报告呼吁 NSF 共建主权开源科学 LLM — thoefler · 2026-11-14
- 智库专家：英伟达事件应促使美企收紧人员审查与网络安全 — paul_scharre · 2026-11-14
- 哲学家 David Papineau 宣布转行做 AI 安全与对齐 — davidpapineau · 2026-11-14
- CMU 成立 AI 安全数学基础新中心,研究者 Iliad 联动官宣 — aran_nayebi · 2026-11-14