Replit teste le code généré par IA avec Antithesis
Le CTO de Replit, Louis Chavez, confirme l'usage de la simulation déterministe d'Antithesis pour vérifier les logiciels produits par IA, selon The Information.
Replit utilise la plateforme de test d'Antithesis pour vérifier les logiciels générés par intelligence artificielle, a confirmé Louis Chavez, directeur technique de Replit, selon un article de The Information publié le 15 octobre 2026.
La plateforme commerciale d'Antithesis, jeune entreprise de vérification logicielle basée en Virginie, repose sur la simulation déterministe : le logiciel s'exécute dans un environnement virtuel contrôlé où des pannes sont injectées, notamment des latences réseau ou des défaillances de serveurs et de stockage. Un hyperviseur propre à Antithesis maîtrise l'ordre d'exécution, le timing et les conditions réseau, ce qui permet de reproduire à l'identique une exécution défaillante.
Louis Chavez explique que les modèles d'IA fonctionnent de manière probabiliste : les résultats varient d'une exécution à l'autre, ce qui rend très difficile la détection de l'ensemble des problèmes logiciels par ce seul moyen.
Will Wilson, PDG d'Antithesis, fait le même constat : l'IA a rendu l'écriture de logiciels beaucoup plus simple, mais vérifier que le code fonctionne réellement n'est pas devenu plus facile pour autant. Antithesis a indiqué le 15 octobre 2026 que sa dernière version permet aux agents de livrer des systèmes fiables.
Un contexte de forte croissance
Les fondateurs d'Antithesis ont employé la simulation déterministe lors du développement de la base de données distribuée FoundationDB, avant de créer l'entreprise en 2018 pour appliquer la méthode à d'autres logiciels. En décembre 2025, la société a levé 105 millions USD lors d'un tour de série A mené par Jane Street.
En bref
Qu'est-ce que la simulation déterministe d'Antithesis ?
Un mode de test qui exécute le logiciel dans un environnement virtuel contrôlé, injecte des pannes comme la latence réseau ou des défaillances de serveurs, et permet de reproduire exactement une exécution défaillante.
Pourquoi Replit utilise-t-il cet outil ?
Parce que les modèles d'IA fonctionnent de façon probabiliste et que les résultats varient entre les exécutions, ce qui complique la détection de tous les problèmes logiciels.