Huit jours, 1 000 agents, un OS : ce que prouve la démo de Fable 5.2
Ou : Mille ouvriers, huit jours de chantier, et pas un seul plan publié
Le 9 novembre 2026, Anthropic a lancé Claude Fable 5.2 et Claude Mythos 5.2, deux versions d’un même modèle, la seconde réservée à des organisations vérifiées1. L’annonce raconte une expérience. Un ingénieur a confié au modèle un dossier vide et une consigne : concevoir un prototype de système d’exploitation. Fable 5.2 a coordonné plus de 1 000 sous-agents, qui ont écrit, testé et relu du code jour et nuit pendant huit jours. Le résultat démarre sur un ordinateur portable, avec son noyau, des pilotes pour le disque, le clavier et le réseau, un stockage permanent, des fenêtres, un écran de connexion, un installateur et Claude intégré. Une vidéo le montre. Le code, lui, n’est pas publié.
J’utilise Claude Code au quotidien, en ligne de commande et dans l’application de bureau. Le chiffre qui m’intéresse n’est donc pas 1 000. C’est celui qui manque : combien de tests, et écrits par qui.
Fable 5.2 et ses 1 000 sous-agents : ce que l’OS démontre, et ce qu’il tait
Une vidéo, une liste de fonctions, aucun dépôt
Sur ce système, Anthropic a publié un paragraphe et une vidéo. Au 11 novembre 2026 :
| Question | Réponse publiée |
|---|---|
| Durée et effectif | Huit jours sans interruption, plus de 1 000 sous-agents |
| Preuve de fonctionnement | Une vidéo : le système démarre sur un portable |
| Langage, taille du code | Non publiés |
| Architecture visée, modèle du portable | Non publiés |
| Tests, interventions humaines | Non publiés |
| Coût | Non publié |
| Code source et licence | Aucun dépôt public2 |
C’est une annonce de modèle, pas un article de recherche. Mais une démonstration sans code se regarde comme une bande-annonce. Elle prouve que les scènes existent, pas que le film tient debout.
Le seul chantier documenté s’appelle Fermat
Pour voir travailler mille agents, il faut lire un texte publié le même jour par des ingénieurs d’Anthropic3. Il porte sur le dernier théorème de Fermat, resté sans démonstration plus de 350 ans, jusqu’à celle d’Andrew Wiles en 1995. En septembre 2026, Anthropic en avait publié une formalisation complète en Lean, un langage où un programme vérifie chaque étape d’une preuve : des dizaines d’agents guidés par un chercheur, onze jours, 13 millions de lignes4. En novembre, 1 000 agents d’une version préliminaire de Fable 5.2 ont refait ce travail en 28,7 heures, sans chercheur aux commandes, avec trois fois moins de jetons de sortie. Ils n’ont pas résolu une énigme vieille de 350 ans : ils ont refait, beaucoup plus vite, une formalisation qui existait déjà.
Le dispositif ressemble à un chantier de mille ouvriers privés de téléphone. Un agent chef, 999 assistants, chacun dans sa machine virtuelle, sans réseau, avec sa branche Git. Un seul lieu commun : une base PostgreSQL, où l’agent chef a créé en dix minutes cinq tables, des annonces au travail livré. Le morceau le plus dur, le théorème de Langlands-Tunnell, a fini découpé en un arbre de 2 418 tâches. En y envoyant environ 750 assistants, l’agent chef a écrit : « Honest odds are low ». Le théorème est tombé à 28,4 heures.
Chaque agent avait sa machine, car une machine partagée cédait vers 100 agents. Et au départ, les assistants ont jugé 47 des 60 énoncés hors de portée, avant d’en prouver la plupart : d’où, selon les auteurs, l’utilité d’un humain qui encourage au bon moment. Des humains ont d’ailleurs relancé l’équipe depuis sa dernière sauvegarde vers la 18e heure. Quant à l’OS, rien n’indique qu’il ait été construit avec ce dispositif : l’article technique ne parle que de Fermat.
Trois expériences, trois juges
Le point important de Fermat n’est pas le nombre d’agents. C’est le juge. Les humains avaient fourni 60 énoncés à prouver, une esquisse en une phrase, les définitions et 47 lemmes déjà prouvés en septembre. Un énoncé ne comptait comme prouvé que si le vérificateur de Lean l’acceptait. Lean ne lit pas les descriptions enthousiastes.
En février 2026, Anthropic avait publié une expérience voisine5 : Nicholas Carlini faisait écrire un compilateur C en Rust par 16 agents Claude Opus 4.6. L’essentiel de son propre travail, écrit-il, est allé à l’environnement des agents : les tests, la boucle de retour, et GCC comme compilateur de référence. Son avertissement : il faut un vérificateur presque parfait, « otherwise Claude will solve the wrong problem ».
| Compilateur C (février) | Fermat (novembre) | OS (novembre) | |
|---|---|---|---|
| Agents | 16 | 1 000 | Plus de 1 000 |
| Durée | Environ deux semaines | 28,7 heures | Huit jours |
| Qui juge | Des tests écrits par un humain, GCC en référence | Le vérificateur de Lean, sur des énoncés humains | Non publié |
| Code | Publié, domaine public (CC0) | Preuve de septembre publiée (Apache 2.0) | Non publié |
| Coût | Un peu moins de 20 000 dollars | Non publié | Non publié |
Dans la troisième colonne, les agents ont écrit le code et les tests, puis se sont relus entre eux. Ce n’est pas forcément mal fait. C’est invérifiable de l’extérieur, et c’est toute la différence.
Ce que la démonstration ne dit pas encore
Un OS jouet est un terrain balisé. Écrire un petit système d’exploitation est l’un des exercices les plus documentés de l’informatique : le MIT fait travailler ses étudiants sur xv6, un petit Unix d’enseignement6, et il est loin d’être le seul. Je ne dis pas que le modèle a recopié quoi que ce soit. Je dis qu’il avait une carte très détaillée du terrain, ce qui n’est pas le cas pour le logiciel métier de ton client.
La valeur d’un système tient à ce qui suit. Le 25 août 1991, Linus Torvalds annonçait sur Usenet un système libre, « just a hobby, won’t be big and professional like gnu »7. Ce qui a fait Linux, ce sont les trente-cinq années suivantes : la maintenance, les correctifs, les utilisateurs. La première version d’un système est la partie la moins chère de sa vie.
Qui relit mille agents ? Pour Fermat, une tâche automatique fusionnait les branches et ne refusait que les conflits et les erreurs. Un classifieur examinait chaque commande, mais il guettait les évasions et le sabotage de la surveillance, pas les bugs. Le vrai relecteur, c’était Lean. Pour l’OS, d’autres agents ont relu, selon des critères qu’on ignore.
Combien coûte une semaine de ce régime ? Anthropic ne le dit pas. Un ordre de grandeur, quand même : la formalisation de novembre a consommé trois fois moins de jetons de sortie que celle de septembre, qui en avait utilisé environ 6 milliards. Au tarif public de Fable 5.2, 40 dollars le million de jetons de sortie8, ces 2 milliards feraient environ 80 000 dollars, hors jetons d’entrée. C’est mon calcul, pas un chiffre d’Anthropic, qui ne paie pas son propre tarif. Pour les huit jours de l’OS, je m’abstiens de la règle de trois.
DevOps Dave : Mille agents, huit jours, un OS qui démarre. On peut fermer l’équipe système.
Security Sarah : Et les tests, qui les a écrits ?
DevOps Dave : Les agents. Et d’autres agents ont vérifié qu’ils passaient.
Security Sarah : Donc ton OS a passé l’examen qu’il a lui-même rédigé.
DevOps Dave : Dit comme ça, ça sonne mal.
Ce que ça change quand on code déjà avec un agent
Ces trois expériences disent la même chose : le travail d’une équipe d’agents vaut ce que vaut son juge. Là où un humain a écrit les énoncés ou les tests, le résultat se vérifie. Là où les agents se jugent eux-mêmes, on les croit sur parole.
En février, j’écrivais déjà que le test devient la vraie valeur ajoutée du développeur quand l’IA écrit le code. Mille agents ne changent pas la règle, ils en multiplient l’enjeu : une spécification floue produit mille fois plus vite quelque chose de faux. La spécification et les tests deviennent le vrai produit du développeur, le seul que les agents ne peuvent pas écrire sans devenir juges et parties.
Une propriété bien choisie, comme celle qui a retrouvé un bug de changement d’heure sur ce blog, dit ce qui doit rester vrai quel que soit le nombre de mains sur le code. Et la relecture ne disparaît pas : elle change d’objet, comme pour relire une PR d’agent, dont les erreurs ont l’air de code correct.
Mille agents savent donc travailler des jours sur un même dépôt sans se marcher dessus. C’est réel, et c’est nouveau. Le jour où Anthropic publiera les tests de son système d’exploitation, on saura ce qu’il fait. D’ici là, on sait ce qu’il a montré à la caméra.
L’annonce de Claude Fable 5.2 et Claude Mythos 5.2, du 9 novembre 2026, décrit les deux comme un même modèle sous-jacent ; Mythos 5.2 passe par des programmes de vérification en cybersécurité et en sciences de la vie. La même page affirme que plus de 90 % des modifications fusionnées dans le code principal d’Anthropic sont désormais écrites par Claude, « with human guidance ». La précision compte autant que le chiffre. ↩︎
La liste des dépôts publics de l’organisation anthropics sur GitHub, triée par date de création et consultée le 11 novembre 2026 : le plus récent date du 30 octobre 2026, dix jours avant l’annonce. ↩︎
Safely scaling multi-agent teams with Claude Fable 5.2, publié le 9 novembre 2026 par Barry Zhang, Tianyi Peng, Elle Najt, Keller Scholl et Lance Martin. L’article qualifie lui-même l’expérience d’essai jouet : plus d’un million d’appels d’outils, dont aucun n’a été bloqué par le classifieur de sécurité. Il précise aussi qu’un second moniteur, qui lit le raisonnement des agents, a été ajouté juste après ce passage. ↩︎
L’article de recherche Formalizing Fermat’s Last Theorem, du 4 septembre 2026, et le dépôt de la preuve, sous licence Apache 2.0, présenté comme un artefact de recherche non maintenu. Sa construction échoue si la preuve dépend d’autre chose que les trois axiomes standard de Lean. ↩︎
L’article d’Anthropic sur le compilateur C, du 5 février 2026 : près de 2 000 sessions Claude Code, 100 000 lignes de Rust, et un compilateur capable de construire un noyau Linux 6.9 qui démarre sur x86, ARM et RISC-V. L’auteur liste aussi les limites : le compilateur appelle GCC pour le code 16 bits du démarrage x86, et son code optimisé reste moins efficace que celui de GCC sans optimisation. Le code est publié sous licence CC0. ↩︎
La page de xv6 du cours 6.1810 du MIT : un système d’enseignement de type Unix, inspiré d’Unix V6 et porté sur RISC-V. ↩︎
Le message de Linus Torvalds sur comp.os.minix, daté du 25 août 1991 à 20 h 57 GMT. Il le destinait aux compatibles PC à processeur 386 ou 486. ↩︎
La grille tarifaire de l’API Claude : 8 dollars le million de jetons d’entrée et 40 dollars le million de jetons de sortie pour Fable 5.2, contre 10 et 50 dollars pour Fable 5.1. ↩︎