Un modèle d’IA réussit là où les chercheurs hésitaient encore : la démonstration d’un problème d’Erdős enfin validée

Depuis des décennies, certaines énigmes mathématiques résistent aux chercheurs du monde entier. L’une d’elles, issue de la célèbre liste du mathématicien Paul Erdős, vient pourtant de connaître un tournant inattendu. Un modèle d’intelligence artificielle a produit une démonstration jugée valide par des spécialistes.

Les problèmes d’Erdős, des énigmes mathématiques célèbres étudiées depuis des décennies

Le mathématicien Paul Erdős a marqué l’histoire par une activité scientifique hors norme. En effet, avec plus de 1500 publications, il a laissé derrière lui une impressionnante collection de questions ouvertes. Ainsi, ces problèmes, souvent simples à formuler mais difficiles à résoudre, nourrissent encore la recherche en combinatoire et en théorie des nombres.

Lire aussi PipeINEER, le robot-souris du CERN, explore 27 km de tuyaux à −271 °C pour protéger le plus grand accélérateur du monde

De plus, ces défis sont devenus de véritables repères pour les chercheurs. En pratique, résoudre une conjecture d’Erdős peut mobiliser des équipes pendant des années. Par ailleurs, la diversité de ces questions couvre de nombreux domaines des mathématiques modernes. C’est pourquoi plusieurs d’entre elles demeurent aujourd’hui encore irrésolues.

Une démonstration générée par une IA puis vérifiée grâce aux outils de preuve formelle

Récemment, un modèle d’intelligence artificielle d’OpenAI nommé GPT-5.2 a été sollicité pour examiner l’un de ces défis. Concrètement, le système a analysé une équation impliquant des coefficients binomiaux centraux, une structure classique en combinatoire. Ces objets apparaissent fréquemment dans l’étude des structures discrètes et des relations algébriques.

Ensuite, après une phase de calcul relativement courte, l’algorithme a proposé une démonstration complète. Toutefois, cette proposition devait encore être vérifiée. Ainsi, la preuve a été traduite dans un langage mathématique formel afin d’être analysée par des logiciels capables de contrôler rigoureusement chaque étape logique.

Lire aussi Taïwan veut transformer le détroit en « enfer de drones » pour stopper la Chine, mais son retard industriel inquiète les experts

Enfin, une fois cette validation technique effectuée, plusieurs chercheurs ont examiné le résultat. Parmi eux figurait le mathématicien Terence Tao, figure majeure de la discipline. Après analyse, la démonstration a été jugée cohérente. Elle répond donc aux exigences de rigueur attendues dans la recherche mathématique.

Les problèmes combinatoires structurés où les modèles d’intelligence artificielle progressent

Aujourd’hui, les systèmes d’IA modernes se montrent particulièrement efficaces pour explorer rapidement de nombreuses pistes logiques. En effet, ils peuvent tester un grand nombre d’hypothèses en parallèle. Ainsi, certaines structures mathématiques complexes deviennent plus faciles à examiner qu’avec une exploration humaine classique.

De plus, plusieurs chercheurs observent que ces modèles réussissent mieux face à des problèmes possédant une structure combinatoire claire. Dans ce contexte, la solution repose souvent sur une succession de transformations logiques bien définies. L’IA peut alors parcourir méthodiquement l’espace des possibilités afin d’identifier une démonstration plausible.

Lire aussi Sam Altman alerte sur une arrivée plus rapide que prévu de l’AGI et admet un monde encore mal préparé

Par conséquent, ce type de réussite illustre ce que certains spécialistes appellent la longue traîne des problèmes mathématiques. Autrement dit, il s’agit d’énigmes parfois peu médiatisées mais structurées. Dès lors, une exploration systématique peut suffire à faire émerger une solution que les chercheurs n’avaient pas encore identifiée.

L’intelligence artificielle devient un outil pour les mathématiciens sans remplacer la créativité

Cependant, malgré ces progrès impressionnants, les spécialistes appellent à la prudence. La créativité mathématique reste difficile à reproduire pour les machines. Les modèles actuels manipulent efficacement des structures existantes. En revanche, ils peinent encore à inventer de nouveaux concepts ou à ouvrir des pistes totalement inédites.

Ainsi, les grandes percées des mathématiques reposent souvent sur des intuitions inattendues. Ces idées émergent généralement d’années d’expérience et d’échanges entre chercheurs. Pour l’instant, l’intelligence artificielle apparaît donc surtout comme un outil puissant capable d’assister les mathématiciens plutôt que de remplacer leur inventivité.

Lire aussi 40 millions de Français exposés : comment vos propres données nourrissent les arnaques IA les plus crédibles jamais vues