Axiom a été lancé il y a six mois avec une conviction : les mathématiques sont la bonne base pour construire des systèmes qui raisonnent. Aujourd'hui, nous annonçons la Série A d'Axiom. Nous avons levé 200 millions de dollars à une valorisation de plus de 1,6 milliard de dollars, dirigée par @MenloVentures, pour renforcer notre avance en mathématiques formelles dans l'IA Vérifiée.