Startup Theorem prikupio 6 milijuna dolara za matematičku provjeru softvera koji piše umjetna inteligencija
Sanfranciski startup osigurao je 6 milijuna dolara kako bi razvio alate za formalnu verifikaciju koda koji sve češće piše umjetna inteligencija.