r/singularitydeepmindgemini6h agoenergy 107
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
image: r/singularity
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 years.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.