Axiom wystartował sześć miesięcy temu z jednym przekonaniem: matematyka jest właściwą podstawą do budowania systemów, które rozumują. Dziś ogłaszamy rundę A Axiom. Zebraliśmy 200 milionów dolarów przy wycenie przekraczającej 1,6 miliarda dolarów, prowadzonej przez @MenloVentures, aby umocnić naszą pozycję w formalnej matematyce w kierunku Zweryfikowanej AI.