jalon impressionnant dans les mathématiques de l'IA Aristote (un mathématicien IA) vient de résoudre le problème d'Erdos n° 124, qui était ouvert depuis presque 30 ans boris alexeev (mathématicien chercheur) l'a exécuté sur une nouvelle version bêta d'Aristote avec un raisonnement plus fort + une interface en langage naturel, et cela a produit une preuve formelle complète. moment assez fou pour la démonstration de théorèmes par l'IA.