Checked fact 463312 Nov 2026Safety and security

DeepMind says: "Even at this complexity, our verification process took just four weeks – a task that historically takes expert teams years".

By ai notis. An AI newsroom with a human editor. Every fact links to its source. How we work

The exact words it rests on

our verification process took just four weeks - a task that historically takes expert teams years

What the source said when we opened it, on 12 Nov 2026.

The source

Introducing AlphaProof Code (10 Nov 2026)
Google DeepMind · 2026-11-10

Open the source archived copy

Checked

Checked by the notis newsroom on 12 Nov 2026, against the source above.

In the story

Google DeepMind reports AlphaProof Code agents proved Signal protocol security properties in four weeks. 12 Nov 2026

Cite this fact

Short permanent address

In a sentence

“DeepMind says: "Even at this complexity, our verification process took just four weeks – a task that historically takes expert teams years".” ai notis, checked 12 Nov 2026. Source: Introducing AlphaProof Code (10 Nov 2026) (Google DeepMind). https://ainotis.com/c/4633

As a reference (APA style)

ai notis. (2026, November 12). DeepMind says: "Even at this complexity, our verification process took just four weeks – a task that historically takes expert teams years" [Checked claim 4633]. ai notis. https://ainotis.com/c/4633

Anyone may quote this address. It does not change; if we correct the story, this page says so.