RecodeX 重构消息，谷歌DeepMind的AlphaProof Code在四周内完成了对Signal加密核心代码的数学形式化验证，而这一过程通常需要数年。由Gemini Carbon驱动的AI智能体编写了超过600万行证明代码，仅约1%被标记需人工复核。DeepMind计划将这一方法推广至电网、医疗设备等关键基础设施领域。