Artificial Intelligence
SignalShot, which launched in April as a community quest to formally verify Signal Messenger, is roughly 80% complete, according to a project status update Wednesday. The Beneficial AI Foundation (BAIF) and Google DeepMind have made roughly equal and complementary contributions.
'Signal Shot' Reaches 80% in Signal Verification Project
+2
