GPT-5.2 Pro résout le problème d'Erdős #281 – Première solution autonome confirmée d'une IA d'un problème mathématique ouvert

Auteur: Matthias Bastian

Résumé

Le modèle IA GPT-5.2 Pro a résolu le problème d'Erdős #281 de la théorie des nombres – une percée que le mathématicien Terence Tao qualifie d'« exemple peut-être le plus manifeste » d'une solution IA d'un problème mathématique ouvert. Neel Somani a rapporté ce succès, Tao confirmant que la preuve du modèle diffère considérablement des approches de solutions antérieures. Cependant, Tao avertit contre une perception biaisée des capacités de l'IA : une nouvelle base de données montre que le taux de réussite réel des tentatives d'IA sur les problèmes d'Erdős ne s'élève qu'à un à deux pour cent.

Personnes

• Neel Somani
• Terence Tao
• Paata Ivanisvili
• Mehmet Mars Seven
• Matthias Bastian

Sujets

• Percée de l'IA en mathématiques
• Problèmes d'Erdős et théorie des nombres
• Taux de réussite de l'IA pour les problèmes mathématiques
• Perception biaisée des capacités de l'IA
• Biais de publication dans la recherche en IA

Résumé détaillé

Le modèle IA GPT-5.2 Pro a joué un rôle significatif dans la résolution du problème d'Erdős #281 de la théorie des nombres. Selon Neel Somani, avec l'aide de ce modèle, il a été possible de résoudre un autre problème mathématique longtemps resté ouvert.

Le mathématicien réputé Terence Tao évalue cette performance comme « peut-être l'exemple le plus manifeste » du fait qu'une IA a résolu un problème mathématique ouvert. Cependant, Tao soulève le fait que des preuves antérieures pour ce problème auraient pu exister et influencer la réponse du modèle. Tao souligne néanmoins que la preuve fournie par GPT-5.2 Pro est « assez différente » des preuves antérieures, ce qui indique une approche de solution véritablement autonome et originale.

Simultanément, Tao avertit contre une évaluation trop optimiste des capacités de l'IA. Les résultats négatifs seraient rarement publiés, tandis que les résultats positifs deviendraient rapidement viraux – un biais de publication classique qui conduit à une perception publique biaisée.

Une nouvelle base de données de Paata Ivanisvili et Mehmet Mars Seven documente systématiquement toutes les tentatives d'IA sur les problèmes d'Erdős. La réalité est beaucoup plus sobre que ce que le battage médiatique suggère : le taux de réussite réel n'est que d'un à deux pour cent et se concentre sur les problèmes plus simples. Néanmoins, l'IA est reconnue comme un outil de soutien, même si les problèmes d'Erdős de difficulté moyenne ne seraient pas automatiquement résolvables jusqu'à présent.

La première solution autonome d'un problème d'Erdős confirmée par Tao remonte au 4 janvier 2026.

Points clés

• GPT-5.2 Pro a résolu le problème d'Erdős #281 – une percée confirmée par Terence Tao
• La preuve de l'IA diffère significativement des approches de solutions antérieures
• Le taux de réussite réel de l'IA pour les problèmes d'Erdős ne s'élève qu'à un à deux pour cent
• Les résultats positifs de l'IA sont publiés de manière disproportionnément fréquente, ce qui conduit à des attentes biaisées
• L'IA fonctionne comme un outil de soutien, pas comme un solveur autonome pour les questions mathématiques difficiles
• Une base de données systématique documente maintenant toutes les tentatives d'IA sur les problèmes d'Erdős

Métadonnées