Une conjecture mathématique tenait depuis 30 ans : ChatGPT l’aurait fait tomber en 4 phrases
Trente ans qu’une conjecture mathématique résistait à tous les assauts. Des générations de chercheurs s’y sont cassé les dents, sans jamais trancher la question. Et voilà qu’un simple agent conversationnel, celui-là même que des millions de gens utilisent pour rédiger des mails, aurait fait vaciller ce mystère en quelques échanges seulement.
Un problème qui résistait depuis les années 1990
Tout part d’une question posée dans les années 1990 par trois chercheurs, connue sous le nom de conjecture de Dinitz-Garg-Goemans. Elle s’intéresse à un sujet très concret malgré son apparence abstraite : la circulation des flux dans un réseau de livraisons.
Concrètement, il s’agit de savoir si l’on peut imposer un trajet unique à chaque commande, sans faire grimper les coûts ni saturer les routes. Une sorte de casse-tête logistique déguisé en théorie des graphes. Comme le rapporte New Scientist, aucun spécialiste de l’optimisation n’était parvenu à confirmer ni à réfuter cette règle depuis trois décennies.
Chaque nouvelle tentative se heurtait à des cas particuliers toujours plus retors. Un mur, en somme, que même les meilleurs experts en théorie des graphes contournaient sans jamais le franchir.
C’est précisément cette impasse que le chercheur Dmitry Rybin a décidé de confier à une intelligence artificielle, plutôt qu’à un logiciel de calcul dédié comme on pourrait s’y attendre pour ce genre de démonstration.
D’autres avancées récentes en IA, comme les progrès spectaculaires de robots industriels, montrent à quel point le secteur avance vite en ce moment.
Quatre requêtes et un contre-exemple qui change tout
La méthode surprend par sa simplicité. Pas de programme complexe, pas de code sur mesure : juste une conversation avec GPT-5.6 Pro, le modèle d’OpenAI. La première requête de Rybin tenait en une phrase, demandant au modèle de construire un contre-exemple général au problème.
Trois relances plus tard, après environ quatre heures de calcul cumulées, le modèle a livré une construction complète. Rien de bien exotique en apparence : un réseau de sept nœuds seulement, traversé par trois livraisons de 15, 10 et 15 unités chacune.
Le détail qui fait tout basculer tient dans les chiffres. En autorisant le découpage des envois entre plusieurs itinéraires, le coût total tombe à 58. Mais dès qu’on impose un trajet unique par commande, la facture grimpe à 60 au minimum.
Ce petit écart de deux unités suffit à démolir une conjecture censée garantir qu’aucun surcoût ne surviendrait. Ce genre de percée rappelle d’ailleurs les débats sur les métiers qui résisteront à l’intelligence artificielle, où les mathématiciens semblaient pourtant à l’abri.
Une révolution encore à confirmer
Avant de crier victoire, il faut garder un minimum de recul scientifique, comme sur toute annonce spectaculaire venue du monde de la recherche. Le résultat de Rybin n’a pas encore été validé par la communauté mathématique, et c’est loin d’être un détail.
Selon le chercheur lui-même, la construction serait arithmétiquement cohérente et vérifiable à la main. Mais aucune publication scientifique, aucune relecture indépendante n’a encore confirmé que ce petit réseau de sept nœuds tient réellement la route. Un contre-exemple erroné se glisse plus facilement qu’on ne le pense dans ce genre de démonstration.
L’épisode dépasse pourtant le simple cas isolé. D’autres résultats obtenus avec la même génération de modèles ont circulé récemment, dont la résolution revendiquée de plusieurs problèmes posés par le mathématicien Paul Erdős.
Un mouvement de fond se dessine : l’IA ne se contente plus de suivre des pistes tracées par des humains, elle propose désormais ses propres objets mathématiques. La prochaine étape appartient maintenant aux chercheurs, qui devront éplucher ce réseau de sept nœuds pour dire si la conjecture est réellement tombée.
Un chatbot grand public qui ébranle trente ans de mathématiques en quatre phrases : voilà qui donne le vertige. Reste à savoir si les experts confirmeront cette percée, ou si elle rejoindra la longue liste des fausses alertes scientifiques.