Axiom lanserades för sex månader sedan med en övertygelse: matematiken är den rätta grunden för att bygga system som resonerar. Idag tillkännager vi Axioms Serie A. Vi tog in 200 miljoner dollar till en värdering på 1,6 miljarder dollar+, ledda av @MenloVentures, för att utöka vår ledning inom formell matematik till verifierad AI.