标签「机器代码」

DeepMind 发布 AlphaProof Code 框架，结合 AI 与 Lean 验证器，成功对 Signal 核心库 libsignal 的 AArch64 机器代码进行数学级安全证明，大幅降低形式化验证门槛，但当前成果仅局限于特定版本与架构。