ChatGPT résout un problème mathématique complexe sans intervention humaine

L'intelligence artificielle vient de franchir une étape qui relevait encore récemment de la science-fiction : la dernière version de ChatGPT a résolu de manière autonome l'un des problèmes mathématiques complexes classés comme « ouverts ». Cette performance a été mise en lumière par le chercheur et développeur Neil Somani, qui a soumis au modèle un problème non trivial et l'a laissé travailler sans intervention humaine. Après environ quinze minutes, le système a produit une solution détaillée, que Somani a ensuite vérifiée et formalisée à l'aide de l'outil mathématique Harmonic, confirmant ainsi la validité de la démonstration.

L'objectif de Somani était de comprendre où se situe la limite des capacités des grands modèles de langage modernes en mathématiques. Les résultats expérimentaux se sont révélés étonnamment solides : la dernière version de ChatGPT a manié avec assurance des concepts complexes et a démontré un niveau de raisonnement que l'on pensait jusqu'ici inaccessible à l'IA. Pour le chercheur, cela modifie sensiblement notre compréhension des tâches que les machines peuvent résoudre par elles-mêmes.

Dans son processus de raisonnement, le modèle n'a pas simplement trouvé une réponse. Il a appliqué de manière séquentielle des idées et formules mathématiques fondamentales, s'appuyant sur des travaux discutés dans la communauté professionnelle il y a plus de dix ans. La solution finale n'était pas une copie d'approches connues, mais une dérivation indépendante et plus complète pour une variante du problème initialement formulé par Paul Erdős. Ce niveau de généralisation et d'adaptation était autrefois l'apanage exclusif des humains.

Somani observe qu'un bond notable s'est produit après la sortie de la version GPT 5.2 : le nombre de problèmes que l'IA traite sans assistance directe a fortement augmenté. Si les premiers succès autonomes dans ce domaine avaient été enregistrés plus tôt, les progrès sont désormais difficiles à ignorer. Les experts soulignent que l'IA ne remplace pas les mathématiciens, mais devient de plus en plus un outil puissant, capable d'accélérer la découverte de solutions et d'élargir les frontières du savoir humain.