Un étudiant de 23 ans résout un mystère mathématique grâce à l’IA

Depuis plus de six décennies, la conjecture n°1196 résistait aux assauts des plus brillants esprits mathématiques. Formulée en 1960 par trois géants des mathématiques, ce problème portant sur les ensembles primitifs semblait condamné à rester sans solution. Pourtant, c’est un jeune homme de 23 ans, armé d’une intelligence artificielle, qui vient de faire tomber cette barrière.

Une découverte inattendue signée Liam Price

Liam Price ne disposait d’aucune connaissance particulière sur l’historique de cette conjecture mathématique. Sans bagage académique spécialisé dans ce domaine précis, il a néanmoins osé soumettre le problème à ChatGPT Pro, dans sa version GPT-5.4.

La démarche était audacieuse. Le modèle d’IA a alors proposé une démonstration s’appuyant sur une formule déjà connue dans des champs mathématiques adjacents. Une approche que les experts n’avaient jamais envisagée sous cet angle.

De la confusion à la validation

La réponse initiale fournie par l’intelligence artificielle n’était pas immédiatement exploitable. Le résultat s’avérait confus, nécessitant une reformulation approfondie.

C’est là qu’interviennent Jared Lichtman et le célèbre mathématicien Tao. Ensemble, ils ont traduit et structuré la sortie brute du modèle en une démonstration rigoureuse.

Validation par l’assistant de preuve Lean

Pour qu’une preuve mathématique soit pleinement reconnue, elle doit passer par des processus de vérification stricts. Dans ce cas, la démonstration a été formalisée dans l’assistant de preuve Lean, un outil informatique conçu pour valider les raisonnements mathématiques.

Résultat : la conjecture n°1196, proposée par Erdős, Sárközy et Szemerédi, affiche désormais la mention « PROVED (LEAN) » sur le site erdosproblems.com. Un statut qui marque officiellement la résolution du problème.

Une méthode qui pourrait révolutionner l’approche des problèmes liés

Pour Jared Lichtman, cette percée dépasse le cadre d’une simple résolution. Il estime que la méthode employée pourrait permettre d’unifier plusieurs problèmes connexes portant sur les ensembles primitifs.

Une intuition qu’il nourrissait depuis longtemps et qui trouve aujourd’hui une confirmation concrète grâce à cette approche inédite.

L’absence de biais méthodologiques, clé du succès

Tao souligne un aspect crucial de cette découverte : l’intelligence artificielle n’est pas entravée par les préjugés méthodologiques qui peuvent limiter les chercheurs humains.

Cette neutralité a permis de contourner ce qu’il qualifie d’« angle mort collectif », une zone aveugle partagée par la communauté mathématique qui empêchait d’envisager certaines pistes.

Un déblocage significatif plutôt qu’une révolution

Les tentatives d’utilisation de l’IA pour résoudre les problèmes d’Erdős ont parfois déçu par le passé. Les résultats se révélaient souvent peu concluants ou redondants avec des méthodes existantes.

Cette fois, la communauté scientifique reconnaît qu’il ne s’agit pas d’une révolution totale. Néanmoins, l’approche est jugée nouvelle et le déblocage suffisamment significatif pour marquer un tournant.

La collaboration entre intelligence humaine et artificielle ouvre ainsi des perspectives prometteuses pour s’attaquer à d’autres énigmes mathématiques de longue date.