NewsMarkets

Tech

Google DeepMind AI Verifies Signal Encryption Protocol Security

The company used its AlphaProof tool to formally verify the security of the widely used messaging protocol.

4 publishers · 5 articles · first seen 10 Nov 2026 · updated 2h ago

Headline and summary written by an AI model from the linked articles; not reviewed by a person. How this was made

The odds

How the odds moved · Will Google have the best AI model at the end of November 2026?
0%50%100%82%5 Nov, 23:44 UTCnowWIRED: Google DeepMind Staff Tap the UK Government to Escalate Their Unionization Fight · 12 Nov, 18:05 UTCArs Technica: Google DeepMind just mathematically verified key parts of Signal · 11 Nov, 14:08 UTCFeed: All Latest: A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure · 10 Nov, 05:01 UTCzdnet.com: Google’s new AI tool just proved Signal encryption really works – here’s how · 10 Nov, 16:31 UTCwww.theregister.com: Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques · 10 Nov, 12:00 UTC

Each tick is a source publishing on this story

Price data
TimeChance of yes
now82%
12 Nov, 18:34 UTC82%
12 Nov, 17:45 UTC81%
12 Nov, 16:36 UTC80%
12 Nov, 16:29 UTC80%
12 Nov, 15:20 UTC80%
12 Nov, 14:58 UTC79%
12 Nov, 14:03 UTC79%
12 Nov, 13:36 UTC80%
12 Nov, 11:11 UTC79%
12 Nov, 10:06 UTC80%
12 Nov, 06:42 UTC79%
12 Nov, 05:48 UTC80%
12 Nov, 02:06 UTC80%
12 Nov, 01:46 UTC80%
12 Nov, 00:59 UTC80%
11 Nov, 23:18 UTC80%
11 Nov, 22:31 UTC80%
11 Nov, 21:38 UTC81%
11 Nov, 21:24 UTC81%
11 Nov, 20:42 UTC79%
11 Nov, 20:29 UTC76%
11 Nov, 19:33 UTC73%
11 Nov, 19:26 UTC70%
11 Nov, 18:59 UTC74%
11 Nov, 17:36 UTC81%
11 Nov, 15:35 UTC81%
11 Nov, 15:28 UTC82%
11 Nov, 11:16 UTC81%
11 Nov, 10:46 UTC80%
11 Nov, 08:56 UTC81%
11 Nov, 06:23 UTC81%
11 Nov, 05:56 UTC81%
11 Nov, 05:29 UTC82%
11 Nov, 04:48 UTC83%
11 Nov, 04:21 UTC82%
11 Nov, 03:29 UTC81%
11 Nov, 02:07 UTC80%
11 Nov, 01:18 UTC81%
11 Nov, 00:37 UTC82%
10 Nov, 23:50 UTC82%
10 Nov, 22:24 UTC79%
10 Nov, 21:15 UTC77%
10 Nov, 20:27 UTC79%
10 Nov, 18:59 UTC78%
10 Nov, 18:24 UTC78%
10 Nov, 17:22 UTC77%
10 Nov, 16:18 UTC78%
10 Nov, 15:43 UTC77%
10 Nov, 15:13 UTC79%
10 Nov, 12:33 UTC76%
10 Nov, 11:42 UTC74%
10 Nov, 10:26 UTC72%
10 Nov, 07:31 UTC71%
10 Nov, 06:37 UTC71%
10 Nov, 06:02 UTC76%
10 Nov, 05:56 UTC74%
10 Nov, 05:22 UTC74%
10 Nov, 04:55 UTC74%
10 Nov, 03:48 UTC71%
10 Nov, 03:01 UTC71%
10 Nov, 02:47 UTC71%
10 Nov, 01:06 UTC72%
10 Nov, 00:46 UTC71%
10 Nov, 00:06 UTC68%
9 Nov, 23:25 UTC67%
9 Nov, 22:44 UTC68%
9 Nov, 22:17 UTC69%
9 Nov, 21:43 UTC69%
9 Nov, 21:28 UTC70%
9 Nov, 20:54 UTC68%
9 Nov, 20:18 UTC71%
9 Nov, 19:36 UTC68%
9 Nov, 19:21 UTC68%
9 Nov, 18:26 UTC73%
9 Nov, 17:50 UTC75%
9 Nov, 17:23 UTC74%
9 Nov, 15:58 UTC75%
9 Nov, 13:33 UTC74%
9 Nov, 05:36 UTC73%
9 Nov, 00:49 UTC73%
9 Nov, 00:17 UTC74%
8 Nov, 23:44 UTC73%
8 Nov, 22:59 UTC73%
8 Nov, 20:50 UTC71%
8 Nov, 20:10 UTC71%
8 Nov, 19:30 UTC70%
8 Nov, 19:23 UTC71%
8 Nov, 18:56 UTC70%
8 Nov, 17:00 UTC73%
8 Nov, 16:07 UTC76%
8 Nov, 15:28 UTC75%
8 Nov, 12:13 UTC76%
8 Nov, 11:50 UTC75%
8 Nov, 10:59 UTC77%
8 Nov, 10:28 UTC76%
8 Nov, 06:20 UTC77%
7 Nov, 20:07 UTC76%
7 Nov, 17:23 UTC77%
7 Nov, 16:21 UTC76%
7 Nov, 15:39 UTC76%
7 Nov, 15:18 UTC76%
7 Nov, 14:55 UTC77%
7 Nov, 13:47 UTC76%
7 Nov, 12:31 UTC76%
7 Nov, 10:32 UTC75%
7 Nov, 10:11 UTC76%
7 Nov, 09:51 UTC75%
7 Nov, 08:57 UTC75%
7 Nov, 05:57 UTC74%
7 Nov, 01:27 UTC74%
6 Nov, 23:11 UTC72%
6 Nov, 22:21 UTC74%
6 Nov, 21:16 UTC73%
6 Nov, 17:35 UTC72%
6 Nov, 17:27 UTC71%
6 Nov, 13:49 UTC73%
6 Nov, 12:22 UTC72%
6 Nov, 11:52 UTC73%
6 Nov, 11:12 UTC73%
6 Nov, 10:27 UTC72%
6 Nov, 08:48 UTC72%
6 Nov, 08:20 UTC72%
6 Nov, 07:45 UTC71%
6 Nov, 07:03 UTC72%
6 Nov, 06:56 UTC71%
6 Nov, 06:14 UTC71%
6 Nov, 04:34 UTC71%
6 Nov, 03:30 UTC72%
5 Nov, 23:44 UTC73%

The story so far

4 publishers have covered this in 5 articles since 10 Nov 2026. Feed: All Latest published first, on 10 November at 05:01 UTC; www.theregister.com followed 6h 59m later. The most recent article, from WIRED, appeared on 12 November at 18:05 UTC.

Outlets reporting it: WIRED (major outlet), Ars Technica (major outlet), www.theregister.com, zdnet.com.

3 prediction markets price this story:

  • Will Google have the best AI model at the end of November 2026? — the market puts it at 82%, with $20k traded in the last 24 hours, closing 1 Dec 2026. Google wins if its AI model holds the top spot on the arena.ai Text Arena leaderboard at 12:00 PM ET on November 30, 2026. The ranking relies on unrounded scores for tied models, with alphabetical order breaking any remaining ties. Readers often mistake the deadline date for the time or overlook that AutoEval models are excluded from the count.
  • Will Google be the second-best AI Agent Lab at the end of December 2026? — the market puts it at 33%, with $40 traded in the last 24 hours, closing 1 Jan 2027. The market resolves based on Google's position as the second-ranked AI lab on the arena.ai leaderboard at 12:00 PM ET on December 31, 2026. You must check the specific "Labs" filter on that site to see the correct ranking, ignoring any models marked "AutoEval." Readers often mistake the date for the end of the month or overlook the requirement to use only the filtered Lab view.
  • Will Google be the #3 AI Lab at the end of January 2027 (Style Control On)? — the market puts it at 10%, closing 1 Feb 2027. The market resolves based on Google's rank in the Text Arena Overall leaderboard for Labs on January 31, 2027, at 12:00 PM ET. The 'Yes' outcome occurs if Google ranks third among AI labs; otherwise, it is 'No'. Readers often mistake the deadline time zone or overlook that AutoEval models are excluded from the ranking.

Odds are the market's probability that the outcome happens, updated every few minutes. They are information about what traders expect, not a forecast we make and not investment advice.

How it unfolded

Every source in the order it published, with the odds on Will Google have the best AI model at the end of November 2026? at that moment. A dash means the source published before we started tracking prices.

  1. Feed: All LatestA New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure74%
  2. www.theregister.comGoogle DeepMind melds humans and AI agents to vet Signal's secure messaging techniques74%
  3. zdnet.comGoogle’s new AI tool just proved Signal encryption really works – here’s how78%▲4 points since the previous source
  4. Ars TechnicaGoogle DeepMind just mathematically verified key parts of Signal81%▲3 points since the previous source
  5. WIREDGoogle DeepMind Staff Tap the UK Government to Escalate Their Unionization Fight81%
  6. Current odds82%

Sources

Every article we clustered into this story. Headlines link to the publisher.

  1. Google DeepMind Staff Tap the UK Government to Escalate Their Unionization Fight WIRED ·
  2. Google DeepMind just mathematically verified key parts of Signal Ars Technica ·
  3. A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure Feed: All Latest ·
  4. Google’s new AI tool just proved Signal encryption really works – here’s how zdnet.com
  5. Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques www.theregister.com

Related prediction markets

Linked by software because they are about the same subject. Most ask a different question from the one this story reports, so read each market's own question. How often the link is right

  • Polymarket Will Google have the best AI model at the end of November 2026? 82% +8 $20k 24hends 1 Dec 2026

    Does the market have this right?

    Wrong market?

  • Polymarket Will Google be the second-best AI Agent Lab at the end of December 2026? 33% +2 $40 24hends 1 Jan 2027

    Does the market have this right?

    Wrong market?

  • Polymarket Will Google be the #3 AI Lab at the end of January 2027 (Style Control On)? 10% +2 ends 1 Feb 2027

    Does the market have this right?

    Wrong market?

Have your say

Your call. How does this end?

Free, no money involved. Calls are scored against the market's price when you make them, so backing an underdog that wins scores most. Leaderboard · Your calls

Alert me when the odds move

Email: we send a link to confirm first, and you can unsubscribe in one click. Browser notifications need no email and are turned off on the Following page. At most one alert every six hours either way. Privacy

In this story

  • Google DeepMind
  • Signal
Embed this story

Paste this into any web page to show the live odds, with a link back here.