Une IA d’OpenAI affirme avoir réfuté une conjecture de géométrie vieille de 80 ans

Pendant longtemps, une intuition largement partagée voulait que les arrangements optimaux ressemblent à des structures proches d’une grille carrée, comparables à un réseau de points réguliers.

Ce que revendique OpenAI

OpenAI affirme que l’un de ses modèles de raisonnement généraliste a produit une preuve mathématique originale réfutant une conjecture centrale liée à ce problème.

Selon les informations disponibles :

• Le modèle aurait généré un argument mathématique inédit, et non une simple reproduction de résultats existants.
• La preuve ferait intervenir des techniques issues de la théorie algébrique des nombres pour construire des configurations de points plus efficaces que celles inspirées par une grille carrée.
• Cela contredirait l’idée largement admise selon laquelle les meilleures solutions devraient ressembler à ces structures régulières.

Si la preuve est confirmée, elle modifierait la compréhension théorique d’un problème emblématique de la géométrie discrète.

Une annonce différente de la controverse GPT‑5

Cette fois‑ci, OpenAI insiste sur un point : la découverte serait vraiment originale.

Une annonce précédente impliquant GPT‑5 avait suscité un débat après que des analyses ont montré que le modèle avait en réalité retrouvé des résultats déjà présents dans la littérature mathématique, plutôt que d’en produire de nouveaux.

La nouvelle annonce se distingue sur deux aspects :

• la preuve est présentée comme authentiquement nouvelle ;
• plusieurs mathématiciens externes auraient examiné l’argument et exprimé leur soutien à sa validité.

Cela dit, en mathématiques, une preuve n’est pleinement acceptée qu’après un examen approfondi par la communauté et une publication dans une revue scientifique.

Les premières réactions de mathématiciens

D’après les comptes rendus publiés, plusieurs chercheurs reconnus ont étudié la preuve et fourni des commentaires favorables. Parmi eux figurent Noga Alon, Melanie Wood et Thomas Bloom, spécialistes de combinatoire et de théorie des nombres.

Certains observateurs ont estimé que le résultat dépasse largement les tentatives précédentes d’IA visant à produire des preuves mathématiques originales.

Cependant, comme pour toute avancée majeure, la validation complète nécessite un examen détaillé de chaque étape du raisonnement — un processus qui peut prendre du temps.

Pourquoi cette avancée pourrait compter

Au‑delà du problème de géométrie lui‑même, les chercheurs s’intéressent surtout à ce que cela suggère sur les capacités de l’IA.

Produire une preuve mathématique complexe exige souvent de longues chaînes de raisonnement logique, parfois composées de centaines d’étapes reliant différentes idées mathématiques.

Si des systèmes d’IA peuvent réellement construire et vérifier ce type de raisonnement sur de longues distances, ils pourraient devenir utiles dans de nombreux domaines scientifiques, par exemple :

• la physique théorique
• la biologie
• la médecine
• l’ingénierie et les matériaux

Certains chercheurs estiment que cela pourrait marquer un passage progressif de l’IA comme simple outil d’assistance à un système capable de générer occasionnellement de nouvelles idées théoriques.

Ce qu’il faut retenir

OpenAI affirme que l’un de ses modèles de raisonnement a produit une preuve originale réfutant une conjecture liée au problème des distances unitaires d’Erdős, étudié depuis 1946.

Contrairement à des annonces antérieures, il s’agirait cette fois d’un résultat réellement inédit examiné par des mathématiciens externes.

Mais comme toujours en mathématiques, la conclusion définitive dépendra d’une vérification complète par la communauté scientifique. Si la preuve résiste à cet examen, elle pourrait devenir l’un des premiers exemples majeurs d’une contribution originale de l’IA à la recherche fondamentale.