Axiom is zes maanden geleden gelanceerd met één overtuiging: wiskunde is de juiste basis voor het bouwen van systemen die redeneren. Vandaag kondigen we de Series A van Axiom aan. We hebben $200M opgehaald bij een waardering van $1,6B+, geleid door @MenloVentures, om onze voorsprong in formele wiskunde uit te breiden naar Verified AI.