Quand une intelligence artificielle remet en cause une conjecture historique
Parfois, confier un casse-tête à une IA finit par payer. Un modèle de raisonnement d'OpenAI a produit une preuve qui réfute une conjecture posée par le mathématicien hongrois Paul Erdős en 1946. La nouvelle n'est pas une rumeur : neuf mathématiciens extérieurs ont relu et validé le résultat, et le médaillé Fields Tim Gowers le juge digne d'une grande revue.
Le casse-tête des distances unitaires expliqué simplement
Le problème d'origine est simple à énoncer et féroce à résoudre. On place n points sur une feuille plane et on compte les paires séparées exactement d'une unité : quel est le maximum possible de ces paires ? Erdős s'était intéressé à cette question en 1946 et avait émis une conjecture qui a guidé des décennies de travaux en combinatoire et géométrie discrète.
Une traduction inattendue vers la théorie des nombres
Mais la solution trouvée par l'IA ne restait pas dans le même tiroir mathématique. Le modèle est sorti du domaine de la géométrie et s'est tourné vers la théorie des nombres algébriques, une branche très éloignée du problème de départ. En clair, l'IA a réussi à traduire un problème de distances en un langage d'algèbre et d'arithmétique où une obstruction inattendue a permis de construire une contre-exemple à la conjecture d'Erdős.
Validation par des pairs et réception prudente
Un modèle de raisonnement d'OpenAI a produit une preuve qui réfute une conjecture posée par Paul Erdős en 1946. Neuf mathématiciens extérieurs ont relu et validé le résultat. La réception scientifique a été prudente mais sérieuse.
La preuve n'a pas été acceptée sur parole : elle a été soumise à des spécialistes, décortiquée linéa par linéa, et jugée fiable. Tim Gowers, figure éminente des mathématiques, estime que le travail est du niveau d'une grande revue, ce qui donne un poids inhabituel à une contribution initiée par une IA.
Conséquences pour la pratique mathématique et la découverte
Que retenir ? D'une part, l'affaire illustre la capacité croissante des modèles de raisonnement à explorer des chemins conceptuels que des humains n'avaient pas envisagés, en reliant des domaines apparemment éloignés. D'autre part, elle rappelle que la rigueur humaine reste indispensable : les résultats d'une IA doivent être vérifiés, expliqués et intégrés au corpus existant par des spécialistes.
Cette avancée n'efface pas les traditions de démonstration ni la nécessité d'intuition humaine. Elle montre toutefois que l'outil — bien utilisé et soumis à relecture — peut accélérer la découverte et bousculer des conjectures tenues depuis longtemps. Pour les mathématiciens, c'est une alerte réjouissante : les façons de prouver et d'inventer changent, et parfois, confier son problème à une machine permet d'ouvrir une nouvelle voie.
