产品发布 / 更新普通
Google DeepMind 发布 AlphaProof Code,四周内完成 Signal 加密核心的数学验证
原始标题:Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
内容摘要
Google DeepMind 发布 AlphaProof Code,一个用数学方法证明软件符合安全规范的 AI 系统,并在 Signal 加密协议上完成验证,把通常需要数年的工作缩短到四周。
内容分类AI 产品发布与更新
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源The Decoder:AI News(RSS)
站内情报编号intel-6027926751ca98d10a984002