OpenAI vient de franchir un cap que personne n'attendait : son modèle de raisonnement a réfuté une conjecture du mathématicien Paul Erdős en géométrie des distances unitaires, restée ouverte depuis trois-quarts de siècle. Résultat.
Le modèle a mobilisé de la théorie des nombres algébriques — un arsenal mathématique que les spécialistes n'auraient jamais parié sur l'IA pour l'exploiter. C'est du pur travail de preuve formelle, pas de l'optimisation numérique.
Et personne ne peut dire qu'il bluffait..
Tim Gowers, médaillé Fields, appelle ça « un jalon en mathématiques IA » et balance un avertissement : l'ère où les humains peuvent rivaliser avec l'IA sur la résolution de problèmes mathématiques s'achève. Et personne ne peut dire qu'il bluffait.
Ce n'est pas une IA qui résout des équations linéaires plus vite — c'est un système qui démontre des théorèmes inconnus en mobilisant des intuitions mathématiques complexes. Le jeu change de niveau.