Axiom a fost lansat acum șase luni cu o singură convingere: matematica este fundația potrivită pentru a construi sisteme care raționează. Astăzi anunțăm Seria A de la Axiom. Am strâns 200 de milioane de dolari la o evaluare de 1,6 miliarde de dolari+, condusă de @MenloVentures, pentru a ne extinde avansul în matematica formală către Verified AI.