Le fait
Ce modèle résout 587 des 672 problèmes du concours Putnam et détecte des bugs dans le code.
Il ouvre la voie à des applications en mathématiques et en vérification logicielle.
Cliquez sur le lien pour lire l'article d'origine :
Ce modèle résout 587 des 672 problèmes du concours Putnam et détecte des bugs dans le code.
Il ouvre la voie à des applications en mathématiques et en vérification logicielle.