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. Recaudamos 200 millones de dólares con una valoración de 1,6 mil millones de dólares, liderada por @MenloVentures, para ampliar nuestra ventaja en matemáticas formales hacia IA Verificada.