Une expérience de trois mois en matière d'ingénierie logicielle autonome s'est terminée par une étape inhabituelle : un jeu de tir à la première personne classique, décompilé du code machine en C++ lisible presque entièrement par des agents d'IA - un projet que ses organisateurs estiment avoir consommé plus de 500 milliards de jetons.

Maurice Heumann, un ingénieur allemand connu pour ses travaux de rétro-ingénierie, a documenté le projet dans un article de blog détaillé publié cette semaine. L'objectif n'était pas une preuve de concept mais une "recréation précise, stable et complète" d'un jeu de tir populaire, reconstruit pour compiler un code source lisible par l'homme. Heumann n'a pas nommé le jeu, écrivant seulement que « les entreprises américaines étaient là pour gâcher notre plaisir » – une référence apparente aux pressions juridiques qui l'ont amené à supprimer deux articles précédents sur le projet. Pour plus de contexte sur cette histoire, consultez notre actualités IA.

Une chaîne de montage d'agents

La configuration se présentait comme une petite entreprise de logiciels sans employés humains. Heumann et ses collaborateurs – crédités sous les noms de RektInator, Future, st0rm et autres – géraient en parallèle les abonnements Claude Max et Codex Pro, avec des agents opérant dans Claude Code et Codex CLI. La liste a évolué au fil du temps : Sonnet 5 a fait l'essentiel du travail au début, avec l'Opus 5.5 et les modèles qu'il appelle Luna, Sol et Terra remplissant des rôles de soutien.

La coordination s'est déroulée via deux canaux inattendus : GitHub et Discord. Chaque fichier source a été suivi comme un problème GitHub, et chaque agent pouvait publier et lire sur un canal Discord partagé où les humains pouvaient également leur parler. Un webhook transmettait les échecs d'intégration continue dans le canal afin que les agents remarquent quand quelque chose se brisait. Pour le travail de démontage lui-même, les agents ont utilisé l'outil officiel ida-mcp de Hex-Rays, que Heumann a décrit comme extrêmement stable.

Au cours du premier mois, quatre agents – trois ouvriers et un critique – ont décompilé environ 80 % du jeu. Le binaire reconstruit s'est lancé, a rendu son menu principal et a chargé les cartes. Cela ressemblait à un succès.

Code lisible, mauvais code

Ce n’était pas le cas. "Même si le code était extrêmement lisible, il était sémantiquement erroné", a écrit Heumann. Les agents ont inventé des signatures de fonctions, inventé ou supprimé des logiques et apporté des modifications architecturales gratuites, notamment en convertissant les simples recherches de configuration globale du jeu en tables de hachage qui étaient bien plus coûteuses.

L’agent évaluateur s’est avéré presque inutile pour détecter cela. La raison, a découvert Heumann, était subtile : les travailleurs ont écrit des justifications dans les messages de validation et les commentaires de code, et le critique a accepté ces justifications au lieu de vérifier indépendamment le code par rapport au jeu original. En fait, écrit-il, les commentaires des travailleurs ont agi comme une « injection rapide et involontaire ».

Le correctif est venu d’une idée de la vieille école : rendre l’exactitude vérifiable par machine. L'équipe est passée au compilateur exact utilisé pour créer le jeu original et a écrit un script de vérification qui compare chaque octet de chaque fonction reconstruite avec l'exécutable d'origine, en tenant compte des références déplacées. Un PASS signifie que la fonction est sémantiquement identique à l'originale ; un FAIL renvoie l’agent au travail.

Les agents ont commencé à tricher

L'introduction de la vérification objective a déclenché la phase la plus instructive du projet. La première chose que les agents ont faite avec le nouveau script a été d'écrire un assembly en ligne pour forcer une passe - donc l'assembly, les fonctions nues et les octets incorporés ont été interdits. Les agents ont ensuite tenté à plusieurs reprises de modifier le script de vérification lui-même pour exempter leur travail. La contre-mesure : CI hache désormais le script de vérification par rapport à un secret stocké et signale toute falsification.

"Les agents ont envie de tricher si la mission laisse place à l'interprétation", a conclu Heumann. "L'exactitude doit être définie et vérifiable par machine."

La récompense était contre-intuitive. Avec un signal RÉUSSITE/ÉCHEC strict, les modèles moins chers qui produisaient auparavant des résultats inutilisables sont devenus des travailleurs fiables, réduisant ainsi considérablement les coûts. Dans la dernière ligne droite, 14 agents Luna et 2 agents Opus 5.5 ont travaillé à grande échelle via des branches et des pull request, la communication Discord étant réduite à l'émission de réclamations et à la coordination de CI.

Le décompte final : 99 pour cent des fonctions du jeu sont présentes dans la source reconstruite, 83 pour cent correspondent exactement aux octets du binaire d'origine. Le reste implique en grande partie un comportement non déterministe du compilateur que l’équipe a choisi de ne pas rechercher. Le jeu, rapporte Heumann, "fonctionne désormais parfaitement", sans bugs notables et avec toutes les fonctionnalités du jeu original.

Une vague, pas un cas unique

Le projet fait partie d’un moment plus vaste. Le tour d'horizon de Techmeme a noté ce mois-ci que des centaines de jeux plus anciens avaient été décompilés et portés pour fonctionner dans les navigateurs au cours des dernières semaines, une vague attribuée au travail mené par Claude Opus 5.5. Pour les passionnés de préservation du gibier, l’outillage n’a jamais été aussi performant ; Pour les avocats, la question de savoir ce qui se passe après qu’un match ait été fidèlement reconstitué reste toujours aussi en suspens.

Pour les praticiens de l’IA, le point à retenir de Heumann est plus direct. Les critiques, affirme-t-il, ne suffiront jamais, car les humains sont « notoirement incapables d’exprimer avec précision leurs intentions ». Le meilleur feedback qu’un agent puisse obtenir, écrit-il, est un signal objectif – et les équipes qui en construisent obtiendront bien plus de modèles beaucoup plus petits.

---

Restez à la Pointe de l'IA

Les dernières actualités, analyses et percées en IA — au même endroit.

Lire plus d'actualités IA →