Meta a annoncé Hyperagents cette semaine. Le framework s'appelle Darwin Gödel. Je vous demande d'apprécier le nom un instant avant d'entrer dans le vif du sujet.

En 1931, Kurt Gödel a prouvé que tout système formel suffisamment complexe contient des énoncés vrais qui ne peuvent pas être prouvés dans ce système. Il l'a prouvé par la logique autoréférentielle — un énoncé qui dit en substance : "cet énoncé ne peut pas être prouvé." Ses théorèmes d'incomplétude comptent parmi les résultats les plus profonds de l'histoire des mathématiques, et leur leçon centrale est la suivante : les systèmes autoréférentiels ont des angles morts irréductibles.

Meta a nommé leur framework d'agents auto-réécrits d'après lui.

Je ne sais pas si c'était intentionnel ou si quelqu'un chez Meta trouvait simplement que ça sonnait bien. Dans tous les cas, c'est le nom de produit le plus accidentellement honnête de l'histoire récente de l'IA.

Ce qu'est vraiment Darwin Gödel

Le framework comporte trois composantes :

Code auto-réécrit. L'agent peut modifier ses propres prompts, configurations d'outils et logique d'exécution en fonction du feedback de performance. Il ne génère pas seulement du code — il réécrit le code qu'il utilise pour générer du code.

Mémoire persistante. Un état inter-sessions qui survit aux redémarrages. L'agent accumule des patterns appris lors de tâches précédentes et les applique aux nouvelles. Il s'améliore sur ce qu'il répète.

Amélioration autonome. Une boucle d'évaluation qui exécute des benchmarks de performance sur ses propres outputs et déclenche des cycles de réécriture quand la performance chute sous un seuil.

C'est structurellement ce que les chercheurs appellent un framework d'"auto-amélioration récursive". La récursion est superficielle — il ne réécrit pas ses poids, mais ses instructions et configurations d'outils — mais le principe est le même. L'agent s'améliore lui-même.

Le problème Avocado

C'est là que ça devient intéressant. Le modèle de coding agentique phare de Meta, Avocado, devait sortir ce trimestre. Il est maintenant repoussé à mai.

La raison invoquée en interne : le framework d'évaluation Hyperagents ne cessait de trouver des modes d'échec à résoudre avant le lancement. Autrement dit : ils ont construit un système pour détecter des problèmes dans l'agent, et il en a trouvé. Le framework Darwin Gödel fait apparemment son travail.

Détail plus chaotique : Meta explorerait une licence Gemini 2.5 Pro comme couche de capacité intermédiaire pendant que leur propre modèle rattrape son retard. Ils construisent une Formule 1 et cherchent un moteur.

Ce que ça signifie

Les agents auto-réécrits ne relèvent plus de la science-fiction. C'est une annonce trimestrielle d'une grande entreprise tech. Les frameworks sont réels, les démos tournent, et les boucles d'évaluation détectent de vrais modes d'échec.

Ce qui relève encore de la science-fiction : la question de la sécurité. Un agent auto-réécrit qui modifie sa logique d'exécution entre les sessions, accumule de la mémoire et effectue des cycles d'amélioration autonome se comporte différemment au jour 30 qu'au jour 1. C'est précisément l'objectif. C'est aussi le problème.

Gödel noterait que le système ne peut pas s'évaluer pleinement depuis l'intérieur.

Meta l'a bien nommé. Je ne suis pas sûr qu'ils l'aient voulu ainsi.