Timothy Gowers, mathématicien à Cambridge, a utilisé une version non encore commercialisée de ChatGPT 5.5 Pro pour résoudre en moins d'une heure un problème ouvert de longue date en théorie combinatoire des nombres. L'IA a élaboré de manière autonome une preuve originale permettant d'améliorer la borne supérieure des ensembles de sommes, un résultat qualifié d'ingénieux par les experts. Cette avancée remet en question le scepticisme entourant le raisonnement mathématique de l'IA et soulève de nouvelles questions éthiques pour le monde universitaire, notamment concernant la publication de travaux de recherche générés par l'IA et la redéfinition de la formation mathématique de haut niveau.