登录

当前标签：Signal加密协议

650万行数学证明，4周交卷，Gemini 4 Carbon啃下加密协议验证硬骨头

650万行数学证明，4周交卷，Gemini 4 Carbon啃下加密协议验证硬骨头

Gemini 4 Carbon驱动的AlphaProof Code用四周为Signal写出约650万行经Lean检查的数学证明，把约14万条机器指令纳入形式化验证。