AlphaProof Code

Google DeepMind 发布 AlphaProof Code，一个面向深度形式化验证的新型智能体框架，并首次引导 AI 智能体对 Signal 协议实际代码的关键安全属性完成数学证明。该成果被视为软件安全领域长期悬而未决的重大挑战取得突破，验证对象是保护数十亿次私密通信的真实生产代码。