vendredi 6 février 2026
Une IA règle en 24 heures un casse-tête mathématique vieux de 5 ans
Par Didier Müller, vendredi 6 février 2026 à 22:47 - Logiciels/applets/IA
Une startup californienne affirme avoir résolu quatre problèmes mathématiques réputés insolubles grâce à son outil d’intelligence artificielle capable de produire des démonstrations vérifiées. Parmi ces avancées figure la résolution d’une conjecture bloquée depuis cinq ans.
Lire l'article d'Eitanite Bellaiche sur Numerama
lu 264 fois