Il y a un mois, Donald Knuth a fait un truc qui aurait dû fracturer Internet en deux. L'auteur de 87 ans de The Art of Computer Programming — une bible algorithmique en plusieurs volumes devant laquelle les informaticiens se prosternent depuis les années 60 — a publié un article de mathématiques intitulé ' Claude's Cycles '. Du nom d'un modèle d'IA. Parce que ce modèle a trouvé ce que lui n'a pas pu trouver.

Internet, fidèle à lui-même, était trop occupé à benchmarker des chatbots sur des puzzles de code pour s'en apercevoir.

Voici pourquoi ça compte plus que n'importe quelle guerre de classement que tu suis cette semaine.

Knuth était bloqué depuis des semaines sur un problème de décompositions hamiltoniennes de graphes orientés. Traduction pour les humains : imagine un réseau de rues à sens unique. Un cycle hamiltonien, c'est un itinéraire qui passe par chaque carrefour exactement une fois et revient au point de départ — la tournée des bars la plus efficace au monde, sans doublons, tu finis là où tu as commencé. Knuth avait besoin d'une construction générale qui fonctionne pour tout cube de dimension impaire de ces connexions supérieur à 2×2×2. Il avait résolu les petits cas à la main. Les ordinateurs avaient vérifié des solutions jusqu'à 16×16×16. La règle générale élégante ? Des semaines à s'arracher les cheveux. Rien.

Le 28 février, Filip Stappers — un collègue — a soumis le problème à Claude Opus 4.6. Au fil de 31 conversations guidées sur environ une heure, Claude a attaqué la conjecture sous tous les angles. Formules linéaires. Recherches par force brute. Cadres géométriques. Recuit simulé — une technique volée à la métallurgie où on ' chauffe ' et ' refroidit ' une solution pour échapper aux impasses locales. Le modèle s'est cogné contre des murs. A pivoté. A continué.

Puis il a trouvé. Claude a identifié de manière autonome que la structure sous-jacente était un digraphe de Cayley — un type de réseau spécifique construit à partir d'opérations de groupe mathématiques — et a reformulé le problème en conséquence. Le motif ' serpentin ' résultant s'est avéré correspondre au code de Gray classique, une séquence combinatoire où les entrées consécutives diffèrent d'exactement un chiffre. Claude l'a dérivé de zéro, sans savoir que la version classique existait. Une IA a réinventé une structure mathématique connue en résolvant un problème qu'une légende vivante ne pouvait pas toucher.

Les chiffres bruts pour les maniaques de précision : 11 502 cycles hamiltoniens pour le cas 3×3×3. Parmi ceux-ci, 1 012 se généralisent au cas 5×5×5, et 996 fonctionnent à la fois pour 5×5×5 et 7×7×7. Exactement 760 décompositions ' à la Claude ' tiennent pour toutes les dimensions impaires supérieures à 1.

Maintenant, la partie où je gâche la fête.

Claude n'a pas fait ça tout seul. Pas du tout. Stappers a piloté chacune de ces 31 conversations. Knuth a rédigé la preuve formelle lui-même. Le cas des dimensions paires — littéralement l'autre moitié du problème — reste non résolu, et Claude a fait exactement zéro progrès utile dessus. On parle donc d'un modèle qui, avec un humain compétent au volant, a résolu la moitié d'un problème dans un domaine très structuré. On est loin de Skynet.

Mais voici ce que les sceptiques doivent digérer : ' l'humain compétent au volant ' avait déjà essayé. Et échoué. L'outil a fait la différence. Pas une différence marginale — une différence qualitative. Des semaines d'efforts de l'un des plus grands esprits algorithmiques de l'histoire, débloquées en une heure par un modèle qui ne comprend pas ce qu'est un graphe.

Knuth a appelé ça ' une joie d'apprendre non seulement que ma conjecture a une belle solution, mais aussi de célébrer cette avancée spectaculaire en déduction automatique '. Et dans la version révisée (16 mars), il a lâché ceci : ' Il semble que je vais devoir réviser mes opinions sur l'IA générative un de ces jours. '

Venant d'un homme qui a oublié plus de choses sur les algorithmes que la plupart des départements d'informatique n'en sauront jamais collectivement — cette phrase détone en silence. Ce n'est pas un influenceur LinkedIn qui proclame la victoire de l'intelligence artificielle. C'est la personne qui a défini les standards de complexité computationnelle qui admet, dans un article académique publié, que ses a priori sur l'IA étaient faux.

Et nous, collectivement, on a scrollé devant pour aller débattre de la taille réelle de la fenêtre de contexte de Gemini — 2 millions de tokens, vraiment ?

La leçon, ce n'est pas que l'IA vient pour les mathématiciens. C'est plus sombre et plus simple que ça. Les gens les mieux placés pour utiliser ces outils — les experts de domaine avec des problèmes durs et bien définis — obtiennent des résultats qui ressemblent à de la magie. Tous les autres utilisent les mêmes modèles pour générer des posts LinkedIn et se disputer sur des benchmarks. L'écart entre ' l'IA comme outil tranchant entre des mains expertes ' et ' l'IA comme tour de magie de salon ' ne se réduit pas. Il s'élargit.

Knuth n'a pas nommé un article du nom d'un chatbot parce qu'il a ramolli à 87 ans. Il l'a fait parce que l'honnêteté intellectuelle l'exigeait. L'IA a trouvé la réponse. Il a eu l'intégrité de le dire.

La plupart d'entre nous ne le feront pas. On continuera à prétendre que les outils sont soit inutiles, soit omnipotents, parce que la vérité inconfortable — qu'ils sont puissants mais seulement entre des mains compétentes — ne colle avec le récit de personne.