Tech
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
- Newsrooms
- 6
- Last 3 hours
- 2 reports
- Momentum
- Steady
1 in the 3 before
Rising
Reports per hour, last 24 hours
Where it’s heading
Probably peaked. Likely 6 to 7 newsrooms by 11:48am AEDT. Calls like this were right 92% of the time. How we knowAgainst the past week
More newsrooms than 91% of the past week’s 3844 stories, and number 17 of 298 in Tech.
1File photo: Google DeepMind
With the aim of securing other vital systems, Google DeepMind plans to open-source its AlphaProof Code.
The Decoder didn’t include a summary, so this is ZDNET’s, from its report on the same story.3
Background: Google DeepMind
DeepMind Technologies Limited, trading as Google DeepMind or simply DeepMind, is a British-American artificial intelligence (AI) research laboratory which is a subsidiary of Alphabet Inc. Founded in the UK on 15 November 2010, a few weeks after its incorporation, it was acquired by Google in 2014, and merged with Google AI's Google Brain division to become Google DeepMind in April 2023.4
The story so far
6 newsroomsRising- Reports
- 7
- Newsrooms and sources
- 6
- Last 3 hours
- 2
Rising: more reports in the last three hours than the three before (2 in the last three hours, 1 in the three before).
First with it: The Register, 39 min before anyone else.
Reported by 6 newsrooms.
The numbers behind it
How it spread, where it’s heading and where the coverage is from
Reports a day, last 7 days
| Day | Stories |
|---|---|
| Thu | 0 |
| Fri | 0 |
| Sat | 0 |
| Sun | 0 |
| Mon | 0 |
| Tue | 4 |
| Today | 3 |
Where the coverage is from
How it spread
Newsrooms reporting it, each counted at its first report.
The Register
9to5Mac
ZDNET
The Decoder
Ars Technica
SiliconANGLE