TechThe Next Web3 hr ago

Google DeepMind’s AI agents formally verify Signal’s encryption code

Live3 hr ago

Newsrooms: 7
Last 3 hours: 0 reports
Momentum: Slowing

Reports per hour, last 24 hours

Where it’s heading

Probably peaked. Likely 7 to 8 newsrooms by 8:04am AEDT. Calls like this were right 93% of the time. How we know

Against the past week

More newsrooms than 93% of the past week’s 4102 stories, and number 14 of 323 in Tech.

The four-week project hints that AI could make formal verification far more practical.

The Next Web didn’t include a summary, so this is Ars Technica’s, from its report on the same story.³

Read the full story at The Next Web

The story so far

7 newsroomsCooling

Reports: 9
Newsrooms and sources: 7
Last 3 hours: 0
Last 24 hours

Cooling: well below its busiest stretch (0 in the last three hours, 2 in the three before).

First with it: The Register, 39 min before anyone else.

Reported by 7 newsrooms.

The numbers behind it

How it spread, where it’s heading and where the coverage is from

Reports a day, last 7 days

Reports a day, last 7 days
Day	Reports
Sat	0
Sun	0
Mon	0
Tue	0
Wed	2
Thu	3
Today	4

Where the coverage is from

How it spread

Newsrooms: 7
Reports

Time	Newsroom	Total
Tue, 10 Nov, 11:00pm AEDT	The Register	1
Tue, 10 Nov, 11:39pm AEDT	9to5Mac	2
Wed, 11 Nov, 3:31am AEDT	ZDNET	3
Wed, 11 Nov, 4:11am AEDT	The Decoder	4
Thu, 12 Nov, 1:08am AEDT	Ars Technica	5
Thu, 12 Nov, 3:30am AEDT	SiliconANGLE	6
Thu, 12 Nov, 11:07pm AEDT	The Next Web	7

Time	Source	Total
Tue, 10 Nov, 11:00pm AEDT	The Register	1
Tue, 10 Nov, 11:39pm AEDT	9to5Mac	2
Wed, 11 Nov, 3:31am AEDT	ZDNET	3
Wed, 11 Nov, 4:11am AEDT	The Decoder	4
Thu, 12 Nov, 1:08am AEDT	Ars Technica	5
Thu, 12 Nov, 3:30am AEDT	SiliconANGLE	6
Thu, 12 Nov, 5:18am AEDT	The Decoder	7
Thu, 12 Nov, 11:07pm AEDT	The Next Web	8
Thu, 12 Nov, 11:09pm AEDT	The Decoder	9

When	Likely range	Most likely
Now	7	7
In 1 hours (3:04am AEDT)	7 to 7	7
In 3 hours (5:04am AEDT)	7 to 7	7
In 6 hours (8:04am AEDT)	7 to 8	7
In 12 hours (2:04pm AEDT)	7 to 8	7
In 24 hours (2:04am AEDT)	7 to 8	7

Google DeepMind’s AI agents formally verify Signal’s encryption code

The story so far

The numbers behind it

Reports a day, last 7 days

Where the coverage is from

How it spread

Sources and credits

Newsrooms on it each counted once

Every report follow-ups included

Where it’s heading

How the coverage changed

Every report, in order

In this story

Connected stories

Google DeepMind’s AI agents formally verify Signal’s encryption code

Reports a day, last 7 days

Where the coverage is from

How it spread

More like this

Sources and credits

Newsrooms on it each counted once

Every report follow-ups included

Where it’s heading

How the coverage changed

Every report, in order

In this story

Connected stories