A Axiom foi lançada há seis meses com uma convicção: a matemática é a base certa para construir sistemas que raciocinam. Hoje anunciamos a Série A da Axiom. Levantámos $200M a uma avaliação de mais de $1.6B, liderados pela @MenloVentures, para ampliar nossa liderança em matemática formal para a IA Verificada.