Qu'est-ce que la conjecture jacobienne, et pourquoi une conversation de Tao avec ChatGPT à ce sujet est devenue virale

Un lien largement partagé cette semaine parmi les développeurs et les chercheurs n'était ni un lancement de produit ni un article de recherche, mais une conversation ChatGPT partagée : une transcription montrant l'éminent mathématicien Terence Tao travaillant sur des idées liées à la conjecture jacobienne, l'un des problèmes ouverts les plus tenaces de la géométrie algébrique, avec un chatbot d'IA comme caisse de résonance. Cet échange offre un aperçu rare et brut de la manière dont un mathématicien de premier plan utilise réellement les outils d'IA en réfléchissant à un problème difficile, plutôt qu'un résumé poli d'un résultat achevé.

La conjecture jacobienne, proposée pour la première fois par le mathématicien Ott-Heinrich Keller en 1939, concerne une classe spécifique de fonctions polynomiales qui appliquent un espace multidimensionnel sur lui-même. Formulée de façon simplifiée, elle demande si une application polynomiale possédant une propriété algébrique particulière, un déterminant jacobien constant et non nul, une quantité issue du calcul différentiel qui mesure comment une transformation étire ou comprime l'espace, doit toujours être inversible, c'est-à-dire qu'il doit toujours être possible d'annuler la transformation au moyen d'une autre application polynomiale.

La conjecture paraît restreinte, mais elle se situe à l'intersection de la géométrie algébrique, de l'analyse complexe et des systèmes dynamiques, et a résisté à toute démonstration depuis plus de huit décennies malgré l'attention soutenue de mathématiciens sérieux. Elle est aussi devenue quelque peu tristement célèbre dans le domaine pour avoir attiré, au fil des décennies, un flux constant de démonstrations proposées qui se sont ensuite révélées contenir des erreurs subtiles, un historique qui a rendu les mathématiciens particulièrement prudents avant de revendiquer une résolution, même partielle, sans une vérification extrêmement minutieuse.

Ce qui rend la conversation partagée notable n'est pas qu'elle résout la conjecture, et rien dans l'échange ne constitue une preuve ou une réfutation vérifiée ; les résultats mathématiques formels exigent une relecture par les pairs rigoureuse qu'une transcription de chat ne saurait remplacer. Ce qu'elle montre en revanche, c'est un mathématicien en activité utilisant un système d'IA comme outil de réflexion collaboratif, testant des approches potentielles, vérifiant des manipulations algébriques précises, et explorant si une piste particulière vers un contre-exemple pourrait tenir la route, un peu à la manière dont un mathématicien réfléchirait à voix haute avec un collègue ou devant un tableau blanc.

Ce type d'usage, parfois appelé exploration mathématique assistée par IA, diffère sensiblement du fait de demander à un système d'IA de produire directement une démonstration. Le raisonnement mathématique complexe et inédit reste un domaine où les systèmes d'IA peuvent produire des affirmations d'apparence convaincante mais finalement incorrectes, en particulier sur des problèmes, comme la conjecture jacobienne, où des erreurs subtiles ont fait trébucher des experts humains pendant des décennies. Les mathématiciens qui utilisent les outils d'IA dans ce mode exploratoire traitent généralement les suggestions du système comme des hypothèses à vérifier indépendamment, plutôt que comme des conclusions fiables.

Tao a été une voix éminente et relativement publique sur la manière dont les mathématiciens pourraient utiliser utilement les outils d'IA, notamment en expérimentant des systèmes d'IA comme aides pour explorer des stratégies de démonstration, vérifier des calculs et formaliser des arguments dans des systèmes de vérification. Sa volonté de partager une conversation brute et non éditée, y compris les éventuelles impasses ou corrections qu'elle contient, offre un type de regard différent d'une annonce soignée, montrant le processus plus désordonné et itératif de la pensée mathématique plutôt qu'un résultat achevé.

Cet épisode reflète un changement plus large en cours dans la manière dont certains chercheurs, en mathématiques comme dans d'autres sciences, intègrent les chatbots d'IA à leur processus de travail quotidien, non pas comme un substitut à la démonstration formelle ou à la dérivation rigoureuse, mais comme un moyen rapide et interactif de tester des idées, de repérer des erreurs de calcul, ou d'explorer un espace de problèmes avant de s'engager dans une ligne d'investigation plus formelle et minutieuse. Ce changement reste relativement récent et inégalement adopté au sein de la communauté mathématique, de nombreux mathématiciens en activité restant sceptiques quant à s'appuyer sur des systèmes d'IA pour autre chose que du calcul de routine.

Pour les non-mathématiciens, l'attrait de la conversation partagée tient en partie à son accessibilité : observer un expert de premier plan raisonner en temps réel sur un problème réellement difficile et non résolu, erreurs et incertitudes comprises, offre une image plus honnête de la manière dont la recherche mathématique progresse réellement que le récit propre et rétrospectif habituellement présenté dans un article publié.

Que la piste de raisonnement spécifique de la conversation de Tao mène finalement quelque part vers la conjecture jacobienne reste une question ouverte, qui sera tranchée, si elle l'est un jour, par le processus traditionnel de démonstration formelle et de relecture par les pairs plutôt que par une transcription de chat. Ce que l'épisode a d'ores et déjà démontré, indépendamment de l'issue de ce fil mathématique particulier, c'est un aperçu de la façon dont les outils d'IA commencent à s'intégrer aux habitudes de travail même des mathématiciens les plus accomplis.