A Axiom foi lançada há seis meses com uma convicção: a matemática é a base certa para construir sistemas que raciocinem. Hoje anunciamos a Série A da Axiom. Levantamos US$ 200 milhões com uma avaliação de US$ 1,6 bilhão+, liderada pela @MenloVentures, para ampliar nossa liderança em matemática formal para a IA Verificada.