Axiom è stata lanciata sei mesi fa con una convinzione: la matematica è la base giusta per costruire sistemi che ragionano. Oggi annunciamo il Series A di Axiom. Abbiamo raccolto 200 milioni di dollari a una valutazione di oltre 1,6 miliardi di dollari, guidati da @MenloVentures, per estendere il nostro vantaggio nella matematica formale nell'AI Verificata.