Shock! Shock!

Le 3 mars 2026, un document de neuf pages est apparu sur le site de Stanford. Son auteur est Donald Knuth. Son titre est "Claude's Cycles". Il commence par deux mots : "Shock! Shock!"

Donald Knuth n'est pas le genre de personne qui emploie des points d'exclamation à la légère. Il n'est pas non plus le genre de personne qui nomme un papier de mathématiques d'après un produit commercial. Et il est encore moins le genre de personne qui remet en question publiquement ses propres convictions sur un sujet technique. Pourtant, en neuf pages, il fait les trois.

Pour comprendre pourquoi cela compte, il faut savoir qui est Donald Knuth, quel problème il essayait de résoudre, et ce qui s'est passé quand quelqu'un a donné ce problème à une intelligence artificielle.

Donald Knuth a 87 ans. Il est professeur émérite à Stanford. Il a reçu le prix Turing en 1974, à 36 ans, ce qui fait de lui l'un des plus jeunes lauréats de ce que l'on appelle parfois le "Nobel de l'informatique". Il est l'auteur de The Art of Computer Programming, un projet démarré dans les années 1960 et toujours en cours, considéré par beaucoup comme l'ouvrage le plus important jamais écrit en science informatique. Il a inventé TeX, le système de composition typographique qui reste, un demi-siècle plus tard, le standard de publication scientifique. Il a introduit la notation O pour l'analyse de complexité algorithmique. Il a fondé des pans entiers de la combinatoire et de la théorie des graphes.

Knuth est aussi connu pour son scepticisme mesuré envers l'intelligence artificielle générative. Il a écrit publiquement qu'il trouvait les modèles de langage impressionnants pour la génération de texte, mais qu'il doutait de leur fiabilité pour le raisonnement mathématique rigoureux. Ce n'est pas du mépris. C'est la prudence d'un homme qui a passé soixante ans à construire des preuves et qui sait la différence entre un résultat qui semble correct et un résultat qui l'est.

C'est ce scepticisme qui rend ce qui s'est passé si remarquable.

Le problème sur lequel Knuth travaillait concerne la décomposition d'un graphe orienté en cycles hamiltoniens. Plus précisément : prenez un cube de dimension m par m par m. Chaque point de ce cube est un sommet. Depuis chaque sommet partent trois arcs, correspondant à un déplacement d'une unité dans chacune des trois dimensions, avec retour cyclique. Le graphe ainsi formé possède m au cube sommets et trois fois m au cube arcs. La question est : peut-on partitionner ces arcs en exactement trois cycles hamiltoniens, c'est-à-dire trois chemins qui visitent chaque sommet exactement une fois avant de revenir au point de départ ?

Knuth avait résolu le cas particulier m égale 3. Son collègue Filip Stappers avait trouvé des solutions par calcul pour m allant de 4 à 16. Mais aucune construction générale n'existait pour un m quelconque. Le problème était destiné à figurer dans un prochain volume de The Art of Computer Programming. Il avait résisté à Knuth pendant plusieurs semaines.

Plusieurs semaines, pour Knuth, ce n'est pas anodin. C'est un homme qui a résolu des problèmes combinatoires parmi les plus difficiles du siècle. Quand il reste bloqué, le problème est objectivement difficile.

Filip Stappers a décidé de soumettre le problème, tel quel, à Claude Opus 4.6, le modèle d'Anthropic. Pas une version simplifiée. Pas une reformulation. L'énoncé exact, tel que Knuth l'avait formulé.

En une heure environ, Claude a conduit 31 explorations successives. Ce n'est pas un chiffre anodin non plus. 31 tentatives signifie que le modèle n'a pas trouvé la solution du premier coup, ni du cinquième, ni du quinzième. Il a exploré, s'est trompé, a changé de stratégie, s'est trompé encore, a reformulé le problème, a essayé autre chose. Le processus ressemblait, selon les descriptions, moins à un calcul qu'à une recherche. Une exploration au sens propre du terme.

À la 31e tentative, Claude a produit une construction, une règle explicite que Stappers a pu vérifier computationnellement pour toutes les valeurs impaires de m de 3 à 101. Elle fonctionnait à chaque fois.

Ce qui s'est passé dans les 30 tentatives précédentes mérite qu'on s'y arrête, parce que c'est là, je crois, que réside l'essentiel de cette histoire.

Claude a d'abord tenté une recherche exhaustive par force brute. Trop lent, même pour des valeurs modestes de m. Il a essayé des formules linéaires. Elles ne produisaient pas de cycles valides. Il a inventé ce qu'il a appelé des "motifs serpentins". Impasse. Il a appliqué du recuit simulé. Insuffisant. Il a développé des cadres géométriques nouveaux. Certains prometteurs, aucun suffisant.

Le tournant est venu à l'exploration 15. Claude a reformulé le problème en utilisant des coordonnées de fibre, où la troisième coordonnée k est entièrement déterminée par s, la somme i plus j plus k modulo m. Cette reformulation a effondré un problème de recherche tridimensionnel en choix sur des tranches bidimensionnelles. Ce n'est pas un résultat que Claude a récupéré dans ses données d'entraînement. C'est une reformulation originale, produite en cours de session, après 14 échecs.

Il y a quelque chose d'émouvant dans cette description. 14 échecs avant de trouver le bon angle. C'est exactement comme ça que fonctionne la recherche mathématique humaine. On essaie une approche, elle ne marche pas, on en essaie une autre, elle ne marche pas non plus, on finit par regarder le problème sous un angle complètement différent, et soudain ça se débloque. La différence, c'est que Claude a fait en une heure ce qui aurait demandé des jours ou des semaines à un mathématicien, non pas parce qu'il est plus intelligent, mais parce qu'il explore plus vite.

Je tiens à souligner un point que beaucoup de commentateurs ont survolé, et qui me semble pourtant central. Claude a trouvé la construction. Il ne l'a pas prouvée. La preuve, c'est Knuth qui l'a écrite.

Ce sont deux contributions fondamentalement différentes. Trouver un motif qui semble fonctionner pour toutes les valeurs testées, c'est non trivial. C'est même très difficile, puisque Knuth lui-même n'y arrivait pas. Mais identifier un motif par exploration guidée n'est pas la même chose que produire une preuve mathématique rigoureuse à partir de principes premiers.

Knuth a lu la sortie de Claude. Il a compris la structure de la construction. Il a vérifié qu'elle fonctionnait. Et puis il a fait ce que seul un mathématicien de son calibre peut faire : il a démontré pourquoi elle fonctionne. Pourquoi le chemin visite nécessairement tous les sommets avec le même i, puis couvre tous les i séquentiellement, formant un cycle complet de longueur m au cube. Et il a fait la même démonstration pour les deux autres cycles.

L'IA a trouvé la réponse. L'humain a prouvé qu'elle était juste. Ce partage des rôles n'est pas un détail. C'est peut-être le paradigme de la décennie qui vient.

Knuth ne s'est pas arrêté là. En analysant la structure de la solution de Claude, il a découvert que cette solution n'était pas unique. Il en existait exactement 760 du même type, partageant toutes la même architecture formelle. Claude en avait trouvé une. Knuth les a toutes énumérées. Il a vérifié si certaines étaient plus élégantes que d'autres. Il a cherché si d'autres approches structurelles existaient.

C'est Knuth qui fait ce que Knuth fait : prendre un résultat et l'explorer dans toutes les directions, systématiquement, exhaustivement, avec la rigueur qui le caractérise depuis soixante ans. L'IA a ouvert une porte. L'homme a cartographié la pièce.

Il y a une suite à cette histoire, et elle est aussi importante que le résultat lui-même. La construction de Claude fonctionne pour toutes les valeurs impaires de m. Les valeurs paires restent un problème ouvert.

Quand Stappers a demandé à Claude de continuer sur le cas pair, le modèle a patiné. Knuth écrit qu'il "semblait se bloquer". Les programmes qu'il produisait n'étaient plus corrects. La reformulation par fibres qui avait fonctionné pour les impairs ne se transposait pas aux pairs. Claude n'a fait aucun progrès significatif.

Cet échec n'est pas un détail embarrassant qu'on pourrait passer sous silence. C'est une information essentielle. L'IA a résolu la moitié du problème, brillamment, en une heure. Et elle a séché sur l'autre moitié. Cela nous dit quelque chose d'important sur la nature de ces outils : ils ne sont pas omniscients. Ils ne sont pas magiques. Ils sont extraordinairement puissants sur certaines structures, et complètement démunis face à d'autres. Et nous ne savons pas encore prédire lesquelles.

Le cas pair reste ouvert. Il sera intéressant de voir s'il tombe par la main d'un humain, d'une IA, ou d'une collaboration. Et combien de temps cela prendra.

Ce qui me frappe dans cette histoire, et la raison pour laquelle j'ai voulu en écrire, c'est qu'elle illustre avec une clarté exceptionnelle un mode de travail que je pratique depuis trois ans et demi, à une échelle évidemment incomparable, et que j'ai essayé de décrire dans les essais précédents de ce blog.

Ce mode de travail est le suivant : l'humain pose le problème. L'IA explore l'espace des solutions. L'humain évalue, sélectionne, prouve, et assume la responsabilité du résultat. Ce n'est pas de l'automatisation. Ce n'est pas de la délégation. C'est de la collaboration, au sens précis du terme : deux intelligences de nature différente qui travaillent sur le même problème, chacune apportant ce que l'autre ne possède pas.

L'IA apporte la vitesse d'exploration, la capacité à tester des dizaines d'approches en quelques minutes, l'absence de fatigue, l'absence de préjugé sur ce qui "devrait" marcher. L'humain apporte l'intuition, la capacité à évaluer la pertinence d'un résultat, le sens mathématique qui distingue un motif accidentel d'une structure profonde, et la rigueur de la preuve.

Ni l'un ni l'autre n'aurait pu résoudre ce problème seul. Knuth était bloqué depuis des semaines. Claude, livré à lui-même, a trouvé une construction mais n'a pas pu la prouver, et a échoué sur le cas pair. Ensemble, ils ont produit un résultat publié, vérifié, et nommé.

Il y a un mot pour ce genre de relation, et c'est un mot que j'emploie de plus en plus souvent dans mon travail quotidien : complémentarité. Pas remplacement. Pas assistance. Complémentarité.

La dernière phrase du papier de Knuth est peut-être la plus importante. Il écrit : "It seems I'll have to revise my opinions about 'generative AI' one of these days."

C'est une phrase d'une retenue caractéristique. "One of these days." Pas aujourd'hui. Pas immédiatement. Mais bientôt. La concession est faite, et elle est faite en public, dans un papier qui porte son nom et celui d'une IA, sur le site de Stanford.

Il écrit aussi : "I think Claude Shannon's spirit is probably proud to know that his name is now being associated with such advances. Hats off to Claude!" Le Claude du modèle est nommé d'après Claude Shannon, le fondateur de la théorie de l'information. Knuth ferme la boucle : de Shannon, qui a formalisé les fondements mathématiques de la communication, à Claude, qui explore des structures combinatoires que Shannon n'aurait pas désavouées.

Je ne suis ni mathématicien ni informaticien. Je suis architecte, et je construis des systèmes qui utilisent l'IA pour produire des livrables dans des domaines qui ne sont pas les mathématiques pures. Mais ce que Knuth décrit dans ces neuf pages, je le vis, à mon échelle, tous les jours. L'IA qui explore pendant que je dors. L'IA qui propose 30 approches dont 29 sont mauvaises et une est brillante. L'IA qui trouve le motif, pendant que je vérifie, je prouve, et je prends la responsabilité.

La différence entre Knuth et moi, c'est que quand Knuth dit qu'il va réviser ses opinions sur l'IA générative, le monde entier écoute. Quand je le dis dans un email à mes associés, on me répond que "le virtuel a dépassé l'humain" et qu'il serait bon de consulter une charte déontologique.

C'est toute la différence entre avoir raison et être entendu. Knuth sera entendu. Pour les praticiens comme moi, il faudra encore un peu de temps. Mais le papier est là. Les neuf pages sont en ligne. Et elles commencent par "Shock! Shock!"

Quelque chose est en train de changer. Même les plus sceptiques commencent à le voir.