荷兰政府完成全球首次政府算力上的 AI 验证实验
Miles_Brundage · x · 2026-11-07
Amodo 团队在荷兰经济事务部和外交部支持下，于海牙的政府测试集群上运行了据称是全球首个政府算力上的 AI 验证实验。
- 验证规则：该集群只被允许运行 Qwen 2.5 7B 做推理（而非训练）。政府作为 prover，Amodo 作为 verifier，采用基于重计算（recomputation）的验证方式，对比 token 匹配与 logit 差异来判定集群实际服务的模型。
- 配图显示验证界面：不符时 token match 仅 58%、判定 FAIL；匹配时可到 100%。
- 此前荷兰首相已在联合国大会活动上提出 AI 算力验证研究议程，此次是首个公开的政府侧端到端验证测试，为未来国际 AI 协定的可验证执行铺路。
「Infra」频道最新
- Baseten Loops 正式 GA 转向 serverless,主打 SFT/RL 训练按 token 计费 — baseten · 2026-11-07
- Rust 推理引擎 Saber：Qwen 27B 预fill 冲上 6645 tok/s — whodoneit1 · 2026-11-07
- 800 美元升级 128GB 内存主机跑 MoE？ Reddit 热议性价比 — Juan_Phoenix7 · 2026-11-07
- Kimi K3.1 Pro 发布首日晒 SemiAnalysis 实测：MI355X 上每美元吐 4500 万 token — AnushElangovan · 2026-11-07
- 开源 Aspen：专为 agent 设计的 Git 服务器，单仓每秒 567 次推送 — sloppenheimer · 2026-11-07
- 分析师：Agent 规模化将引爆企业存储需求，80% 非结构化数据待激活 — BenBajarin · 2026-11-07