Claude passe du calcul d'une amplitude à huit boucles à neuf boucles, annonce Anthropic

Anthropic annonce un calcul à neuf boucles réalisé par Claude. Le résultat publié précédemment pour cette amplitude s'arrêtait à huit boucles. Cela représente un ordre de plus dans le développement perturbatif, et chaque ordre supplémentaire coûte nettement plus cher que le précédent. Le texte dont nous disposons ne donne aucun détail sur le calcul lui-même. En revanche, une longue analyse parue sur Habr transforme cette annonce en expérience pratique sur le contrôle du code scientifique écrit par une IA.

Ce que signifie « neuf boucles »

En théorie quantique des champs, on affine la précision d'une prédiction ordre par ordre de la théorie des perturbations. Un ordre correspond à une boucle dans les diagrammes de Feynman. À chaque boucle supplémentaire, le nombre de diagrammes, la dimension des intégrales et le volume d'algèbre augmentent. Passer de huit à neuf boucles n'a rien de comparable, en termes de travail, avec le passage de une à deux.

La tâche est ardue pour les humains comme pour le code. Une erreur de signe, de facteur de symétrie ou dans la suppression des divergences se cache facilement parmi des milliers de termes. Dire que « le modèle a calculé neuf boucles » ne renseigne donc en rien sur la fiabilité du résultat tant que le dispositif de vérification n'est pas décrit. Le compte rendu publié sur Habr ne contient ni le calcul lui-même ni sa vérification : il faudra donc attendre séparément une confirmation indépendante de la publication.

Un mémoire sur le graphène comme terrain d'essai

L'auteur de l'analyse ne s'est pas contenté de relayer le communiqué de presse. À l'aide d'une IA, il a reconstitué les calculs de son mémoire de fin d'études sur le graphène et y a trouvé une erreur qui avait survécu à la soutenance. C'est l'épisode le plus précieux de l'article : l'IA y joue le rôle de vérificateur d'un ancien travail humain.

De là, l'auteur passe à une méthode qu'il appelle la décomposition par processus. Le calcul est découpé en étapes, et chacune est définie par :

• des entrées et des sorties ;
• des contrats : ce que l'étape doit exactement garantir ;
• des vérifications indépendantes du résultat, obtenues par une autre voie ;
• des vérifications des vérifications elles-mêmes ;
• des défauts introduits volontairement, pour s'assurer que le contrôle les détecte.

Ce dernier point s'apparente au test de mutation en ingénierie logicielle. Si le contrôle n'a pas repéré une erreur connue d'avance, on ne peut pas se fier à son statut « vert ».

Le contenu de l'article

• Résultat annoncé : calcul d'une amplitude à 9 boucles, contre 8 dans la publication précédente.
• Volume : 95 illustrations, dont certaines sont des animations.
• Code : code Python complet et 7 expériences reproductibles.
• Fil de l'exposé : de l'équation de Schrödinger et d'une boucle aux méthodes de bootstrap et aux symboles (symbols).
• Concept : le « pictorialisme quantique » comme base possible du code scientifique pour la théorie quantique.
• Fait vérifié : une erreur a été trouvée dans le mémoire de fin d'études, où elle avait survécu à la soutenance.

L'auteur présente ce dernier point comme une hypothèse, et non comme un standard établi. Il propose le langage des diagrammes comme une structure dans laquelle le code est plus facile à lire et à vérifier.

Comment adopter cette approche

Si vous confiez à une IA des calculs, des simulations ou du code analytique, commencez par trois étapes :

1. Découpez la tâche en étapes et fixez par écrit un contrat pour chacune : entrées admissibles, forme des sorties, invariants. 2. Prévoyez pour chaque étape au moins une vérification par une autre voie : un cas limite connu, un calcul numérique confronté à un calcul analytique, une comparaison avec une valeur publiée. 3. À chaque cycle, introduisez dans le code un défaut connu et regardez si les tests le détectent. Si ce n'est pas le cas, il faut réécrire les vérifications.

Enfin, devant l'annonce de « N boucles » ou de tout autre record, regardez si le code, les contrats et les méthodes de vérification indépendante ont été publiés. Sans eux, il s'agit pour l'instant de l'annonce d'un résultat, et non du résultat lui-même.