RecodeX 重构消息，谷歌DeepMind正式推出AlphaProof Code，官方称其在深度验证复杂软件方面取得突破。该工具的智能体在Lean中编写了约三百万行形式化证明，用于验证加密通讯应用Signal的核心加密实现。