Axiom Math quiere mantener la IA fuera de las matemáticas

Mientras la IA inunda las matemáticas con pruebas no verificadas, Axiom Math apuesta por la verificación. Los agentes de inteligencia artificial de la startup acaban de verificar formalmente el Proyecto Stacks, una de las bibliotecas más grandes del campo.