LATIDIA · Empresas

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

A medida que la IA inunda las matemáticas con pruebas sin verificar, Axiom Math apuesta por la verificación. Los agentes de IA de la startup acaban de verificar formalmente el Proyecto Stacks, una de las bibliotecas más grandes del campo.

La noticia

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.