Image : Le Neurone
Apprenez-en davantage
Vous vous souvenez des problèmes mathématiques astucieux qui vous faisaient désespérer à l’école ? Maintenant, imaginez des défis si complexes qu’ils ont laissé des mathématiciens perplexes pendant des décennies.
Paul Erdős, mathématicien prolifique, a laissé des centaines de ces énigmes avant de mourir en 1996. Ce week-end, GPT-5.2 Pro en a résolu une. Neel Somani a demandé à l’IA de s’attaquer à l’Problème Erdős #397, qui questionne l’existence d’une infinité de solutions pour une équation spécifique impliquant des coefficients binomiaux centraux. GPT-5.2 a généré la démonstration, et l’outil Aristotle l’a formalisée en Lean (un langage de vérification), acceptée par le lauréat de la Médaille Fields, Terence Tao.
## Pourquoi c’est un moment marquant
- Une tendance d’autonomie émergente : GPT-5.2 a résolu avec succès le Problème #728, ainsi que les #729 et 397.
- Mathématiques validées : Le système Aristotle a corrigé automatiquement les failles dans les preuves et produit un code vérifié par Lean.
- Raisonnement autonome : Contrairement à la controverse de GPT-5 en octobre 2025, qui s’appuyait sur des travaux existants, Tao affirme que ces preuves sont originales.
Le bémol ? Tao souligne qu’il s’agit de “fruits à portée de main”, des problèmes résolubles avec des techniques standards, sans découvertes révolutionnaires. GPT-5.2 a obtenu un score de 77 % en mathématiques de niveau compétition, mais seulement 25 % dans la recherche ouverte nécessitant une véritable réflexion.
## Importance de cette avancée
Pour les travailleurs du savoir, nous observons un passage de l’IA de la simple reconnaissance de motifs à la génération de preuves. Lorsque les modèles pourront résoudre de manière autonome des problèmes vieux de plusieurs décennies (même les plus simples), cela risque d’accélérer des domaines nécessitant un raisonnement logique : analyse de contrats, conformité réglementaire et optimisation en ingénierie.
Au cours des 6 à 12 mois suivants, attendez-vous à ce que GPT-5.3 (ou équivalent) et d’autres modèles concurrents de Google et Anthropic s’attaquent aux ~660 problèmes Erdős non résolus restants.
Si vous travaillez dans la résolution structurée de problèmes, commencez à explorer comment ces modèles abordent les problèmes équivalents à ceux d’Erdős dans votre domaine ; ces défis épineux que tout le monde connaît, mais que personne n’a encore résolus.
Note de l’éditeur : Ce contenu provient à l’origine de la newsletter de notre publication sœur, Le Neurone. Pour lire d’autres articles du Neurone, abonnez-vous à sa newsletter ici.
Grant Harvey est l’auteur quotidien du Neurone, une newsletter d’ADGO.ca sur l’IA destinée aux personnes non techniques. Il consacre ses journées à analyser les outils d’IA et l’industrie en général, puis à les expliquer avec des termes accessibles à tous.
## FAQ
#### Quel est le Problème Erdős #397 ?
Le Problème Erdős #397 interroge l’existence d’une infinité de solutions à une équation impliquant des coefficients binomiaux. C’est l’un des nombreux défis laissés par le mathématicien Paul Erdős.
#### Qui est Paul Erdős ?
Paul Erdős était un mathématicien hongrois, reconnu pour son travail prolifique, ayant publié un nombre record de papiers académiques. Il a également laissé derrière lui de nombreux problèmes mathématiques non résolus.
#### Comment l’IA est-elle utilisée dans la recherche mathématique ?
L’IA, comme GPT-5.2, peut désormais générer des preuves mathématiques et résoudre des problèmes complexes, ce qui pourrait révolutionner la façon dont les mathématiciens abordent des problèmes historiques.
#### Quelles autres avancées en IA sont attendues ?
De nouveaux modèles comme GPT-5.3 devraient apparaître, ainsi que d’autres outils développés par des entreprises comme Google et Anthropic, ciblant des problèmes mathématiques non résolus.
#### Pourquoi est-ce important de résoudre des problèmes mathématiques historiques ?
La résolution de ces problèmes peut non seulement enrichir le domaine des mathématiques, mais aussi avoir des implications pour d’autres disciplines requérant un raisonnement logique.
