AI 资讯 · 品玩
品玩11月4日讯，Anthropic近日发布FlashProve，一种基于zkSNARK密码学技术的大语言模型可验证推理系统。
该系统使模型提供商能够生成密码学证明，验证每次回复确实由指定模型生成，同时不泄露模型权重等内部信息，为解决AI服务信任问题提供新技术路径。在400B参数混合专家模型Llama 4 Maverick上，单块H100 GPU即可实现约110 token/秒的证明生成速度，证明大小约19MB，性能较此前开源系统提升数个数量级，接近原生推理速度的70至95倍。
Anthropic同步开源了代码、Lean形式化验证及文档。该技术可应用于AI服务可信验证、推理过程防篡改及模型合规审计等场景。
资讯来源：由AI资讯编辑整理自互联网公开内容，版权归原作者所有，未经许可，不得转载。
上一篇资讯
民主党胜选或影响AI数据中心审批 现场发电设备迎来机会
美国中期选举结果让AI数据中心再次站到政策争议的风口。居民电价、电网扩容和社区反对，可能使新建项目面临更严格的审批。但当公共电网越来越难以满足数据中心建设需求，企业自行解决电力供应的意愿也会增强。即使数据中心建设总量放缓，自备电渗透率仍有机会提高，现场发电设备与既有电力接入资产可...
下一篇资讯
字节跳动限制员工访问L4代码库与飞书文档的外部AI
近日，据“大厂日爆”相关爆料，字节跳动内部迎来了一项重磅新规:公司将大面积限制员工在内部自费使用 Claude、Codex 等第三方个人账号。据悉，从本月起，字节跳动将会对全公司所有 L4级别的代码仓库和飞书文档实施外部 AI 访问封禁，员工个人采购的 AI 账号将无法继续在上述...
