Report
&Truth launches with $70 million to automate formal software verification
WIRED reports a researcher at the startup used AI to verify part of Signal's encryption code.
TLDR
WIRED reports &Truth publicly launched after raising $70 million, joining startups betting AI can make formal verification—a mathematical method for checking software—more practical. A researcher at the company used AI to verify part of Signal's encryption code. WIRED says the technology remains in the prototyping stage, with broader adoption still uncertain.
Combined views
11.8K
2 Sources, first seen ago