Skip to content
Browse
LatestWorldBusinessSci & TechEntertainmentSportsHealthGames

Edition

GLGlobalUSUSACACanadaUKUKINIndiaPKPakistanSGSingaporeAUAustralia

Sections

Appearance

AboutSourcesContactPrivacy

Google DeepMind just mathematically verified key parts of Signal

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

First reported by Ars Technica 1 source
Image: Ars Technica
Image: Ars Technica
Read at Ars Technica(opens in a new tab)

Full coverage

Every report we found on this story, oldest first. Each links to the original publisher.

  1. Ars Technica

    Google DeepMind just mathematically verified key parts of Signal (opens Ars Technica in a new tab)

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

Something wrong with how we've grouped or summarised this story? Report a problem

More in Sci & Tech

More