Axiom startet for seks måneder siden med én overbevisning: matematikk er det riktige grunnlaget for å bygge systemer som resonnerer. I dag kunngjør vi Axioms Serie A. Vi hentet inn 200 millioner dollar til en verdsettelse på 1,6 milliarder dollar, ledet av @MenloVentures, for å utvide ledelsen vår innen formell matematikk til verifisert AI.