Axiom byl spuštěn před šesti měsíci s jedním přesvědčením: matematika je správný základ pro budování systémů, které uvažují. Dnes oznamujeme Sérii A od Axiomu. Získali jsme 200 milionů dolarů s oceněním 1,6 miliardy dolarů+ pod vedením @MenloVentures, abychom rozšířili náš náskok ve formální matematice do oblasti ověřené AI.