Axiom diluncurkan enam bulan lalu dengan satu keyakinan: matematika adalah fondasi yang tepat untuk membangun sistem yang bernalar. Hari ini kami mengumumkan Seri A Axiom. Kami mengumpulkan $200 juta dengan valuasi $1,6 miliar+, dipimpin oleh @MenloVentures, untuk memperluas keunggulan kami dalam matematika formal ke AI Terverifikasi.