OpenAI a récemment déclaré que son dernier modèle de raisonnement généraliste fournissait indépendamment une preuve mathématique originale, renversant une conjecture géométrique non résolue proposée par le célèbre mathématicien Paul Erdős en 1946. OpenAI a déclaré que c'était la première fois que l'intelligence artificielle résolvait de manière indépendante un problème public bien connu qui est au cœur d'un certain domaine des mathématiques, et de nombreux mathématiciens impliqués dans cette approbation pensent également que cette fois-ci n'est pas une fausse alerte.

Il convient de noter que ce n'est pas la première fois qu'OpenAI fait une déclaration très médiatisée sur « l'IA surmontant le problème d'Erdos ». Il y a environ sept mois, Kevin Weil, alors vice-président de l'entreprise, a posté sur la plateforme sociale. Mais quelqu'un a rapidement souligné que la soi-disant « solution » du modèle existait déjà dans la littérature mathématique, et que GPT-5 ne faisait que « rechercher » les résultats existants plutôt que de découvrir réellement une nouvelle solution. Au milieu des moqueries de ses rivaux, dont Demis Hassabis, PDG de Google DeepMind, et Yann LeCun, Weir a finalement supprimé le message, qui a été critiqué comme "exagéré".

Peut-être à cause de cette expérience, OpenAI est évidemment plus prudent dans cette version. Lors de l'annonce des résultats, la société a publié un document « Commentaire supplémentaire » rédigé par un certain nombre de mathématiciens pour démontrer la rigueur nécessaire pour renverser cette conjecture géométrique. Ces mathématiciens communs comprennent Noga Alon, Melanie Wood et Thomas Bloom. Bloom gère le site Web "Erdos Problems" et a critiqué les remarques de Weir lors de la précédente série de controverses comme étant "très trompeuses". Cette fois, il s’est rangé du côté d’OpenAI et a approuvé la nouvelle preuve.

OpenAI a publié un article sur Selon OpenAI, ce résultat provient d'un modèle de raisonnement général, et non d'un système mathématique spécifiquement conçu pour résoudre le problème, ni d'un algorithme « personnalisé » pour ce problème géométrique.

OpenAI estime que l'importance de ce résultat va au-delà de la simple proposition elle-même et reflète également l'amélioration des capacités du système d'IA actuel en matière de « raisonnement à longue chaîne » et de « connexion de concepts inter-domaines ». En explorant des modèles structurels dans des espaces complexes que les chercheurs humains n’ont pas encore tentés ou explorés systématiquement, de tels modèles devraient conduire à de nouvelles découvertes dans des domaines aussi divers que la biologie, la physique, l’ingénierie et la médecine. En d’autres termes, l’IA ne se contente plus de vérifier les preuves existantes ou de rechercher la littérature existante, mais commence à jouer un rôle plus actif en « proposant de nouvelles structures et idées ».

Bloom a déclaré dans un communiqué que l'intelligence artificielle aide les humains à "explorer plus complètement la cathédrale mathématique que nous avons construite ensemble au fil des centaines d'années". Il a demandé : « Combien de miracles invisibles attendent encore d'être dévoilés ? À une époque où le débat sur « si l’IA peut réellement faire des découvertes scientifiques originales » n’est pas encore apaisé, ce contre-exemple de conjecture géométrique qui a été approuvé après examen par la communauté mathématique peut devenir une référence importante pour les débats ultérieurs.