Axiom lanseerattiin kuusi kuukautta sitten yhdellä vakaumuksella: matematiikka on oikea perusta järkevien järjestelmien rakentamiselle. Tänään julkistamme Axiomin Series A:n. Keräsimme 200 miljoonaa dollaria 1,6 miljardin dollarin arvostuksella, jota johti @MenloVentures, laajentaaksemme johtoamme muodollisen matematiikan alalla Verified AI:ksi.