Axiom Math veut garder l'IA hors des mathématiques

Alors que l’IA inonde les mathématiques de preuves non vérifiées, Axiom Math parie sur la vérification. Les agents IA de la startup viennent de vérifier formellement le projet Stacks, l’une des plus grandes bibliothèques du domaine.