AI圈报
产品发布 / 更新普通

Google DeepMind 发布 AlphaProof Code,四周内完成 Signal 加密核心的数学验证

信息来源:The Decoder:AI News(RSS)·
原始标题:Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years

内容摘要

Google DeepMind 发布 AlphaProof Code,一个用数学方法证明软件符合安全规范的 AI 系统,并在 Signal 加密协议上完成验证,把通常需要数年的工作缩短到四周。
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源The Decoder:AI News(RSS)
站内情报编号intel-6027926751ca98d10a984002