2026-11-10 · America/Los_Angeles · 社区动态 · #4

GDM introduces AlphaProof Code, an AI framework that formally verified Signal’s core cryptographic code in just four weeks, a task that historically takes years

Google DeepMind has introduced AlphaProof Code today. It is a system of AI agents that writes mathematical proofs about software. In its first project, the agents proved key security properties of the code behind the Signal protocol. Based on this blog post, agents powered by Gemini Carbon 'generated more than 6 million lines of machine-checked Lean proofs for Signal’s core cryptographic code, while flagging only around 1% for closer human review'. They called it 'the future of security' in this blog post. The entire process took four weeks, a task that can traditionally take expert teams…

热度 46.2 / 100；排名与评分保留该期记录。