Quand l'IA résout un casse-tête mathématique qui a bloqué un génie pendant des semaines

J'ai lu un récit incroyable sur l'IA qui attaque un problème mathématique. Ça m'a scotché. Donald Knuth, le père de L'Art de la programmation informatique, vient de publier un article intitulé "Claude's Cycles". Un titre qui interpelle direct.

Le problème diabolique

Imaginez une grille 3D de points. Chaque point relie trois voisins selon une règle stricte. Le défi : tracer trois chemins distincts qui passent par tous les points une fois chacun, en utilisant toutes les liaisons possibles. On parle de cycles hamiltoniens orientés.

Knuth a résolu les cas simples. Mais pour une solution générale, rien. Il a cogité des semaines entières.

Claude entre en scène

Un collègue, Filip Stappers, teste Claude Opus 4.6 d'Anthropic. Sans trop y croire. Et là, surprise : Claude adopte une méthode de recherche méthodique.

Il découpe le problème en 31 étapes progressives. D'abord des essais basiques (échecs). Puis des approches plus fines. Il reformule les équations, repère des motifs subtils, et avance pas à pas.

Le clou : à l'étape 15, Claude invente une "décomposition en fibres". Une astuce pour découper le problème en tranches gérables. Pas du calcul brut. De l'intuition mathématique pure.

Le moment de génie

Après des heures d'exploration, boom, à l'étape 31. Claude trouve une construction qui marche pour tous les nombres impairs supérieurs à 2. Simple, codable en quelques lignes, et vérifiée de 3 à 101 sans faute.

Ce que ça change (et ce que ça ne change pas)

Pas de panique, l'IA ne vole pas les jobs de mathématiciens. Knuth le dit lui-même : il fallait une preuve formelle. Lui l'a fournie. Claude a déniché le motif, mais l'humain explique pourquoi ça tient.

C'est une collaboration. L'exploration systématique de l'IA booste l'intuition humaine. Un outil puissant, pas un remplaçant.

La vraie vie, sans filtre

Knuth est cash : ce n'était pas fluide. Stappers a relancé Claude plusieurs fois pour bugs ou blocages. Il a dû insister pour des rapports clairs. Du code foireux par moments.

Bref, bosser avec l'IA sur du hardcore, c'est du boulot. Pas de la magie. Mais les résultats surprennent.

Et après ?

Les nombres pairs résistent toujours. Claude a calé. L'humain garde son avance en créativité pure.

Ces histoires me rendent optimiste. L'IA comme assistant de recherche ultra-efficace : elle fouille les pistes, spotte les patterns, propose des idées neuves.

Knuth conclut : "Chapeau à Claude !" Et chapeau aux humains qui posent les bonnes questions et décryptent les réponses.