Illustration isométrique 3D de milliers de petits agents numériques travaillant de manière méticuleuse sur l'assemblage de symboles mathématiques complexes autour d'une base de données centrale.

Claude Fable 5.2 : des équipes d’agents prouvent des théorèmes complexes

Des équipes composées de mille agents, fonctionnant avec une version précoce de Claude Fable 5.2, ont réussi à reproduire une preuve formelle du Dernier Théorème de Fermat. Cette prouesse, rapportée par les développeurs d’Anthropic, s’est déroulée sans l’aide d’une plateforme d’aide spécialisée ni de la direction constante d’un chercheur humain. Le processus a nécessité 28,7 heures, employant seulement un tiers des jetons de sortie par rapport aux tentatives précédentes.

L’entreprise californienne a mis en lumière cette capacité dans un cadre expérimental. Pour cette tâche, les agents ont reçu une liste de soixante énoncés à vérifier, une ébauche de la méthode classique, les définitions associées, et quarante-sept lemmes déjà prouvés issus d’une formalisation antérieure. On leur a assigné des rôles de meneur et d’aide, sans fournir de guide supplémentaire sur l’organisation du travail.

L’originalisation de cette preuve, réalisée en septembre, avait nécessité onze jours et environ six milliards de jetons de sortie, impliquant des dizaines d’agents et reposant sur Prove2Me, une plateforme conçue par Tianyi Peng et ses collaborateurs à Columbia University. Ce dernier utilise un graphe partagé pour lier chaque énoncé aux sous-énoncés qu’il décompose, permettant ainsi aux agents de travailler en parallèle sans perdre la trace de l’état global du projet.

Vue de dessus d'un dispositif technique sophistiqué sur un bureau, où des composants connectés par des fibres optiques convergent vers un carnet ouvert contenant des notations mathématiques, accompagné d'un chronomètre.

Les mécanismes de sécurité en environnement distribué

Pour le test avec 1 000 agents, le système a dû s’appuyer sur une base de données SQL. Ce choix s’explique, selon les développeurs, par sa capacité à gérer les écritures concurrentes provenant de tant de sources, et par la familiarité de Claude avec ce protocole. Chaque agent opérait dans son propre environnement sandbox, sans accès à Internet. L’organisation était simple : un meneur distribuait les tâches aux 999 assistants.

Mais cette puissance débridée requiert un encadrement drastique. Chaque sandbox était sécurisée par plusieurs couches de défense. On parle notamment d’un classificateur LLM qui surveille chaque appel d’outil, y compris les commandes shell et les modifications de fichiers, pour détecter toute tentative d’évasion ou de sabotage. Si ce classificateur bloque une action, l’équipe entière s’immobilise en attendant une révision humaine. L’objectif, c’est clairement d’éviter qu’un seul agent ne puisse compromettre l’ensemble.

Vers des systèmes autonomes et des capacités étendues

Au-delà de la prouesse mathématique, Claude Fable 5.2 montre des capacités impressionnantes dans d’autres domaines. Des informations publiées par Punto Informatico indiquent que le modèle est apte à concevoir un système d’exploitation complet. Un ingénieur a confié cette tâche à Fable 5.2, qui a coordonné plus de 1 000 agents travaillant pendant huit jours pour écrire, tester et réviser le code. Le résultat, selon ces sources, est un système d’exploitation fonctionnel, intégrant un noyau, des pilotes de disque, de réseau, et des fonctionnalités de gestion de fenêtres.

Anthropic a également différencié les modèles. Fable 5.2 possède des classificateurs de sécurité pour la cybersécurité et la biologie. Pour les tâches jugées sensibles, l’accès est réservé à Mythos 5.2, qui est moins restreint. Ce dernier est accessible uniquement par des programmes de vérification spécifiques, tandis que Fable 5.2 est disponible via la Claude Platform, ainsi que sur Amazon Web Services, Google Cloud et Amazon Azure.

Parallèlement, d’autres plateformes, comme AI Gateway de Vercel, intègrent Fable 5.2, permettant aux développeurs d’utiliser des mécanismes de fallback. Si le classificateur de sécurité de Fable 5.2 bloque une requête, AI Gateway peut automatiquement basculer vers d’autres modèles, comme Opus 5.5 ou Sonnet 5.5, pour assurer la continuité du service.

Sources