以下为上游提供的源文稿，可能存在识别错误。
乔木转写是基于源文稿的中文提炼，不是逐字翻译。请核对原文中的人名、数字与观点。
选一篇，慢慢读
从左侧挑一篇，正文会在这里排成书页。
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth 打开原始媒体 ↗ 打开原始媒体 ↗ 打开原始媒体 ↗ Introducing AlphaProof Code: a breakthrough in verifying complex software at depth Pushmeet Kohli and Swarat Chaudhuri November 10, 2026 Research URL: https://deepmind.google/blog/introducing-alphaproof-code/ H
阅读原文 · Pushmeet Kohli and Swarat Chaudhuri
向阳乔木 · publisher
Google DeepMind的研究人员说，他们用一套叫AlphaProof Code的智能体框架，在四周里生成了超过600万行Lean证明，去核验Signal协议真正编译后跑在设备上的代码。 这篇文章由Pushmeet Kohli和Swarat Chaudhuri撰写，2026年11月10日发布。Signal协议保护着Signal和Google Messa...