Pour trouver un seul hexagone magique, Clifford Adams, un employé des chemins de fer américains, y a consacré près d’un demi-siècle : il a commencé à y réfléchir en 1910 et n’a trouvé la solution qu’en 1957. Le 2 août 2026, une nouvelle démonstration a apporté une conclusion encore plus spectaculaire : cette figure existe pour n’importe quel ordre $n \ge 3$. Si vous souhaitez un ordre donné, il suffit de le construire directement à l’aide d’une formule.
L’article original a été publié sur gukov.dev, et la discussion sur Hacker News a recueilli 178 points, les commentaires saluant l’ingéniosité de la construction. Voici l’histoire complète de cette découverte.
Pour commencer : le carré magique 3x3
Un carré magique 3x3 consiste à placer les nombres de 1 à 9 de sorte que chaque ligne, chaque colonne et les deux diagonales principales donnent toutes une somme égale à 15. C’est un grand classique des énigmes mathématiques et la forme la plus élémentaire du carré magique. Dans la Chine ancienne, on l’appelait le carré Luoshu.
Les carrés magiques ont plus de 4 000 ans d’histoire et les mathématiciens les ont étudiés en profondeur : quelle que soit la taille de la grille, il existe des algorithmes permettant de les générer directement. L’hexagone magique est leur cousin hexagonal : les cases carrées deviennent un alvéole de ruche et les nombres sont alignés le long de trois directions droites, en exigeant que la somme sur chaque ligne droite soit identique. Un hexagone dont le côté compte $n$ cases est dit d’ordre $n$, pour un total de $3n^2 - 3n + 1$ cases. L’ordre 3 contient 19 cases, accueillant exactement les nombres de 1 à 19.
Contrairement aux carrés magiques, les lignes droites d’un hexagone sont de longueurs inégales : bien qu’on les qualifie toutes de « lignes », certaines traversent 3 cases et d’autres 5 cases, mais leur somme doit rester scrupuleusement identique. Cette seule contrainte rend l’hexagone magique considérablement plus difficile que le carré magique 3x3.
La version standard : deux membres seulement
La version standard impose que les nombres soient consécutifs en commençant par 1. Cette version est extrêmement restrictive : dans les conditions standard, il n’existe que deux hexagones magiques — l’ordre 1 et l’ordre 3. L’ordre 1 est une case unique contenant 1 ; l’ordre 3 réunit les nombres de 1 à 19 répartis sur 15 lignes droites dans trois directions, avec une somme de 38 pour chaque ligne. Aux rotations et réflexions près, aucune autre disposition n’est possible.
Figure : L’hexagone magique classique d’ordre 3, rempli avec les nombres de 1 à 19, où chaque ligne droite somme à 38. Source : Wikipedia
L’affirmation « il n’y en a que deux » est prouvée mathématiquement, et la démonstration est particulièrement courte. En additionnant les nombres de la grille, la somme de chaque ligne doit être un nombre entier. En déroulant l’équation de divisibilité, seuls $n=1$ et $n=3$ satisfont la condition d’entier. L’ordre 2 n’existe même pas — la somme par ligne calculée pour l’ordre 2 donne 28/3, une fraction, ce qui l’élimine immédiatement.
La solution de l’ordre 3 a été redécouverte à plusieurs reprises au cours de l’histoire. Le récit le plus célèbre est celui de Clifford Adams, employé des chemins de fer, qui a manipulé ce puzzle de 1910 à 1957, jusqu’à ce que Martin Gardner le publie dans sa chronique de jeux mathématiques en 1963. Une énigme, un homme, une demi-vie.
Une porte dérobée : partir d’autres nombres
L’histoire aurait dû s’arrêter là. Le consensus général était que la voie hexagonale avait atteint une impasse et que l’hexagone magique était une rareté isolée. Mais la preuve imposant « seulement deux solutions » ne s’applique qu’à la version où les nombres commencent à 1. Que se passe-t-il si l’on décale le point de départ ? Par exemple en alignant les nombres de -9 à 9 ?
En relâchant à peine la contrainte, un nouveau monde est apparu. Ces « hexagones magiques anormaux » d’ordre 3, 4, 5, 6… ont été progressivement découverts, mais au prix d’efforts énormes : sans formule ni algorithme tout fait, il fallait chercher à la force brute dans des espaces de permutation astronomiques, ne trouvant une solution que tous les deux ou trois ans. Chaque nouveau record faisait les titres car personne ne pouvait garantir qu’une solution existait pour l’ordre suivant. Le plus grand spécimen trouvé a atteint l’ordre 10, découvert en 2024 par Klaus Meffert à l’aide d’une IA. Personne ne savait jusqu’où menait ce chemin, et beaucoup pensaient qu’il s’arrêterait vite.
La nouvelle démonstration : ne pas chercher, mais construire
Le 2 août 2026, gukov.dev a publié un résultat majeur : il existe des hexagones magiques pour tous les ordres $n \ge 3$. Notez la nuance : il ne s’agit pas d’en « avoir trouvé quelques-uns de plus », mais de prouver qu’« ils existent tous », en conquérant une infinité d’ordres d’un seul coup.
L’auteur a utilisé deux astuces brillantes. La première consiste à ajouter de la symétrie : placer le 0 au centre de manière à ce que les cases opposées soient des inverses additifs (nombres opposés). Ainsi, les lignes passant par le centre donnent automatiquement une somme nulle, et les contraintes sur les autres lignes se trouvent divisées par deux. La seconde consiste à changer de perspective : considérer l’hexagone comme une carte topographique d’un « champ de potentiel » — dans cette représentation, la condition selon laquelle la somme de toutes les lignes est nulle se trouve satisfaite automatiquement sans tâtonnement.
Figure : Hexagone magique d’ordre 50 généré directement selon la nouvelle méthode, comptant 7 351 cases et des sommes de lignes identiques. Source : gukov.dev
Figure : Vue en champ de potentiel du même hexagone d’ordre 50, semblable à une carte topographique. Une fois les contraintes automatiquement satisfaites, il ne reste plus qu’à placer les nombres. Source : gukov.dev
L’espace de recherche a été réduit de façon spectaculaire. L’auteur a fait écrire par une IA un solveur dédié qui a tourné quelques jours sur un serveur domestique de 24 cœurs, trouvant toutes les solutions de l’ordre 3 à l’ordre 10. Mais ce n’était qu’un prélude : en trouver beaucoup reste limité à un nombre fini. La vraie percée est venue de la démonstration constructive — prouver d’abord que certains ordres s’élaborent par formule, puis généraliser pas à pas jusqu’à couvrir la totalité des ordres. Le parcours n’a pas été linéaire : à un moment, la preuve a bloqué, amenant l’auteur à prouver temporairement qu me « qu’il en existait une infinité », avant de lever enfin toutes les restrictions. L’outil central de cette construction s’appelle la séquence de Langford : une structure combinatoire disposant des paires de nombres en séquence. La démonstration s’est appuyée sur des assistants de preuve de théorèmes par IA, et les journaux de conversation ont même été mis en ligne en toute transparence.
Pourquoi la communauté a-t-elle été si impressionnée ? Parce qu’une preuve constructive ne se contente pas de dire « ça existe ». Elle fournit un algorithme : en suivant les consignes, on peut fabriquer un hexagone magique de n’importe quel ordre. L’auteur a d’ailleurs généré au passage des exemples d’ordre 50 et 500 pour les publier, l’ordre 500 comptant plus de 740 000 cases. Si les valeurs paraissent désordonnées au premier coup d’œil, la vue en champ de potentiel révèle un relief continu avec des pentes, des crêtes et des vallées, bien trop régulier pour résulter d’une recherche aléatoire.
Pourquoi l’« existence » doit être prouvée
Un profane pourrait demander : trouver un exemple ne suffit-il pas, pourquoi s’embêter à le prouver ? Parce que la recherche empirique ne donnera jamais une réponse complète. Si l’on cherche jusqu’à l’ordre 10, il reste l’ordre 100 ; si l’on cherche jusqu’à l’ordre 100, il reste l’ordre 10 000. La vérification est toujours finie, alors que la preuve englobe l’infini. Quelques lignes de formule parcourent l’éternité — c’est tout le poids d’une preuve d’existence. Elle a aussi un intérêt pratique : donner la certitude aux futurs chercheurs pour qu’ils osent quérir des solutions encore plus élégantes.
Il faut aussi préciser les limites de cette démonstration : elle n’a pas encore fait l’objet d’une vérification formelle automatisée, ni d’une revue par des pairs indépendants, ce que l’auteur indique lui-même dans son article. L’ordre 2 reste par ailleurs impossible — l’auteur a confirmé dans les échanges que l’ordre 2 impose mathématiquement des doublons de nombres. Les règles de la rigueur mathématique restent inchangées : tout nouveau résultat doit attendre l’examen de la communauté.
Les frontières sont plus loin qu’on ne le pense
Le côté le plus fascinant de cette histoire est que l’ancienne preuve n’était pas fausse : elle bloquait bel et bien tous les grands ordres dans le cas du « départ à 1 ». En mathématiques, les conclusions imposant « jusqu’ici et pas plus loin » ne valent souvent que dans le cadre d’une règle donnée. Quand l’ancienne preuve fermait la porte principale, la nouvelle est passée par la porte dérobée — en décalant le point de départ d’une seule case, une infinité de solutions attendaient à l’extérieur.
Ce qu’un employé des chemins de fer a mis la moitié de sa vie à chercher s’obtient aujourd’hui à la demande via une seule page de formules. En écrivant ces lignes, on se dit que les frontières des mathématiques ne sont rarement celles de l’univers — ce sont bien souvent uniquement celles que les êtres humains se sont tracées à eux-mêmes. La prochaine fois que vous verrez un carré magique 3x3, songez à son cousin hexagonal : au plus profond de l’alvéole, un escalier s’élève, éclairé à chaque marche.
Liens de référence :
- gukov.dev: There Are Magic Hexagons of Every Order
- Discussion HN (item?id=49229174)
- Wikipedia: Magic hexagon
- Wikipedia: Carré magique
