JL (@LJL06019) “DeepMind 用 AI 智能体给 Signal 的加密代码做了形式化验证，4 周写了 650 万行 Lean” — TopicDigg
JL
@LJL06019
加入 May 2026
0 正在关注 0 粉丝
DeepMind 用 AI 智能体给 Signal 的加密代码做了形式化验证，4 周写了 650 万行 Lean 证明。专家团队以前干这活要几年。没发现新漏洞，倒是把老版本里早修好的 bug 又认出来了。
显示更多
热门用户
