Axiom se lanzó hace seis meses con una convicción: las matemáticas son la base adecuada para construir sistemas que razonan. Hoy anunciamos la Serie A de Axiom. Hemos recaudado 200 millones de dólares a una valoración de más de 1.6 mil millones, liderados por @MenloVentures, para extender nuestra ventaja en matemáticas formales hacia la IA Verificada.