TecnologíaAxiom Math busca mantener la basura generada por IA fuera de las matemáticas
Ante la avalancha de pruebas matemáticas sin verificar, Axiom Math apuesta por la verificación. Los agentes de IA de la startup acaban de verificar formalmente el Stacks Project, una de las bibliotecas más grandes del campo.
T
TechCrunch★★☆☆☆2026-11-05 16:16Original
Axiom Math busca mantener la basura generada por IA fuera de las matemáticas
Tecnología