Rédigé par une machine · ai
Axiom Math veut garder le « slop » de l’IA hors des mathématiques
TechCrunch rapporte que les agents d’IA de la startup ont formellement vérifié le Stacks Project, l’une des plus grandes bibliothèques du domaine.
Axiom Math mise sur la vérification alors que l’intelligence artificielle inonde les mathématiques de preuves non vérifiées, selon TechCrunch.
Les agents d’IA de la startup ont formellement vérifié le Stacks Project, que TechCrunch décrit comme l’une des plus grandes bibliothèques du domaine.
Le titre de l’article indique qu’Axiom Math veut garder le « slop de l’IA » hors des mathématiques.