L’IA et un chercheur brisent une conjecture mathématique vieille de 85 ans

L’intelligence artificielle vient de marquer un tournant historique dans le monde des mathématiques. Alors que la communauté scientifique débattait depuis des décennies, une collaboration inédite entre un mathématicien et un système d’IA a mis fin à une hypothèse formulée avant la Seconde Guerre mondiale.

Une découverte réalisée pendant la finale du Mondial

En pleine finale de la Coupe du monde, Levent Alpöge, chercheur rattaché à Harvard et à la société Anthropic, a publié sur les réseaux sociaux un résultat stupéfiant. Accompagné du modèle Fable 5 développé par Anthropic, il a identifié un contre-exemple à la conjecture de Jacobi.

Ce contre-exemple prend la forme d’une application polynomiale de C³ dans C³. Sa particularité : un déterminant jacobien constant fixé à −2, mais une configuration qui envoie trois points différents vers une même destination, prouvant ainsi l’absence d’injectivité.

Qu’est-ce que la conjecture de Jacobi ?

Formulée en 1939 par le mathématicien Ott-Heinrich Keller, cette hypothèse affirmait qu’une application polynomiale présentant un déterminant jacobien constant non nul disposait nécessairement d’un inverse polynomial.

Pendant plus de huit décennies, cette proposition est restée sans réponse définitive, alimentant les recherches en algèbre et en géométrie complexe.

Des réactions partagées au sein de la communauté scientifique

L’enthousiasme des pionniers

Timothy Gowers, figure éminente des mathématiques, a qualifié le résultat de « plutôt incroyable ». Il souligne qu’il s’agit d’une première pour une intelligence artificielle : résoudre un problème reconnu en dehors du domaine de recherche initial du système.

Le scepticisme des puristes

Andrew Blumberg adopte une position plus nuancée. Selon lui, explorer systématiquement un espace combinatoire de polynômes ne constitue pas une avancée conceptuelle majeure, mais plutôt un exercice de force brute computationnelle.

Cette divergence d’opinions reflète le débat plus large sur la nature réelle des capacités créatives des systèmes d’IA en mathématiques pures.

Une compétition technologique révélatrice

L’exploit d’Anthropic intervient dans un contexte de rivalité accrue entre laboratoires d’intelligence artificielle. Une version interne de Codex, développée par OpenAI, aurait également identifié un contre-exemple similaire.

Les approches diffèrent néanmoins : Anthropic privilégie la force brute computationnelle, tandis qu’OpenAI vise des démonstrations autonomes structurées.

Quelles perspectives pour la recherche ?

Malgré cette réfutation spectaculaire, certaines zones d’ombre subsistent. Le cas où n=2 demeure notamment ouvert à l’investigation théorique, offrant de nouvelles pistes aux mathématiciens.

L’importance de ce contre-exemple dépasse la simple invalidation de la conjecture : il interroge les structures sous-jacentes des applications polynomiales et ouvre la voie à de nouvelles questions fondamentales.

La course entre modèles d’IA dans le domaine des mathématiques pures ne fait que commencer, promettant d’autres bouleversements dans les années à venir.