Anthropic等提出可验证推理的zkSNARK新进展

Anthropic、EPFL等机构研究者提出用zkSNARK为模型推理生成密码学证明，让用户确认响应确由所声明的模型生成，防止路由服务替换或篡改。其FlashProve系统在Llama 4 Maverick（400B参数）上单张H100约达110 tokens/秒，证明体积约19MB/1024 tokens，GPU耗时较运行模型高约70-95倍。

• Anthropic 推出 FlashProve 验证AI模型身份2026-11-03
• MIT研究发现AI代理在荒岛上自发玩耍2026-10-26
• 企业需要“特定智能”而非通用人工智能2026-10-22
• AI接管理论再引热议：Anthropic研究员辞职加剧公众担忧2026-11-04
• MIT研究：GPT-6 Astra可改写其他模型权重2026-11-04