En une soirée, un mathématicien aidé par une IA brise une conjecture mathématique qui résistait depuis 1939
Depuis près d'un siècle, les mathématiciens tenaient pour acquis qu'une certaine famille de fonctions ne pouvait jamais se tromper de sens. Un chercheur vient de montrer le contraire, épaulé par une intelligence artificielle.
En juillet 2026, un mathématicien, assisté par une intelligence artificielle (IA), a démontré que la conjecture de Keller, formulée en 1939, était fausse. Une conjecture en mathématiques est une affirmation qui semble vraie mais n’a pas encore été prouvée. Celle de Keller portait sur un problème de pavage de l’espace : elle suggérait qu’il était impossible de remplir un espace à trois dimensions avec des cubes de même taille sans que deux d’entre eux ne partagent une face entière. Cette hypothèse résistait depuis 87 ans aux tentatives de résolution par les mathématiciens du monde entier. La démonstration, réalisée en une seule soirée, marque un tournant en combinatoire, une branche des mathématiques étudiant les arrangements d’objets.
L’outil principal utilisé pour briser cette conjecture est une intelligence artificielle spécialisée en mathématiques pures. Contrairement aux IA génératives comme les chatbots, celle-ci a été programmée pour explorer des preuves mathématiques complexes en analysant des millions de combinaisons possibles. Elle a permis de tester des configurations de cubes en 3D et d’identifier une exception à la règle énoncée par Keller. Le mathématicien, dont le nom n’est pas mentionné dans l’article, a ensuite validé et formalisé cette découverte. Cette collaboration illustre l’émergence de l’IA comme partenaire des chercheurs, capable de traiter des volumes de données inaccessibles à un humain en un temps record.
La résolution de cette conjecture ouvre de nouvelles perspectives en géométrie discrète, une discipline qui étudie les propriétés des objets géométriques formés par des points discrets, comme les réseaux de cubes. Elle pourrait notamment influencer des domaines comme la cristallographie, qui analyse les structures atomiques des cristaux, ou encore l’informatique théorique, où les problèmes de pavage sont fréquents. Les chercheurs soulignent que cette avancée montre que même des problèmes anciens et réputés insolubles peuvent être revisités grâce aux outils modernes. Cependant, l’article ne précise pas si cette découverte a des applications pratiques immédiates.
L’article ne fournit pas de détails sur le mathématicien impliqué, son institution ou la méthode exacte utilisée par l’IA. Il est également impossible de vérifier cette information de manière indépendante, car l’article cite une source unique (*Science et Vie*). Par ailleurs, la conjecture de Keller, bien que célèbre en mathématiques pures, reste un sujet de niche pour le grand public. Son importance réside davantage dans son rôle historique que dans ses applications concrètes. Enfin, l’article ne mentionne pas si cette démonstration a été soumise à une revue scientifique pour validation, une étape cruciale dans le processus de reconnaissance d’une découverte mathématique.
