L’intelligence artificielle (IA) change rapidement la façon dont les logiciels sont créés, mais un nouveau défi apparaît : le code généré par l’IA contient souvent des erreurs. Bien que ces systèmes accélèrent le développement, les logiciels qui en résultent peuvent être criblés de bugs, ralentissant finalement les projets. C’est le problème central auquel s’attaquent désormais un nombre croissant de start-up de la Silicon Valley.
L’essor du codage de l’IA et ses pièges
En janvier, une étude de l’Université Carnegie Mellon a mis en évidence une faille majeure dans les outils de codage d’IA actuels. Ces systèmes peuvent produire rapidement du code, mais la qualité est incohérente, avec une tendance à introduire des erreurs que les développeurs doivent ensuite corriger. L’impact à long terme pourrait être une augmentation de la dette technique et un ralentissement des cycles d’innovation malgré les gains de vitesse initiaux.
Ce problème est particulièrement critique car le codage de l’IA est de plus en plus répandu. Des outils tels que Codex d’OpenAI et Claude Code d’Anthropic sont déjà utilisés par de nombreux développeurs, et leur adoption devrait se développer. Cependant, si le code qu’ils génèrent n’est pas fiable, cela pourrait compromettre l’ensemble du processus de développement basé sur l’IA.
La Silicon Valley intervient : la vérification comme prochaine frontière
Plusieurs nouvelles entreprises se positionnent pour résoudre ce problème. Axiom Math, Harmonic (tous deux basés à Palo Alto) et Logical Intelligence (San Francisco) se concentrent tous sur la création de systèmes d’IA capables de vérifier automatiquement le code, essentiellement en prouvant son exactitude comme les mathématiciens prouvent les théorèmes.
« La vérification du code est probablement la prochaine frontière », déclare Carina Hong, PDG et fondatrice d’Axiom. La société vient d’obtenir un financement de 200 millions de dollars auprès de sociétés de capital-risque, notamment Menlo Ventures, Greycroft et Madrona, ce qui porte sa valorisation à 1,6 milliard de dollars, bien qu’elle n’ait qu’un an et qu’elle compte une équipe d’environ 20 personnes.
Pourquoi la vérification est importante : l’avenir du développement basé sur l’IA
L’augmentation des investissements en capital-risque indique que les investisseurs reconnaissent l’importance cruciale d’un code fiable généré par l’IA. La possibilité de vérifier automatiquement le code n’est pas seulement une solution technique ; c’est une condition préalable à l’adoption généralisée de l’IA dans le développement de logiciels. Sans elle, la promesse d’un codage plus rapide et plus efficace restera lettre morte.
Si le code généré par l’IA n’est pas fiable, les développeurs reviendront à la vérification manuelle, annulant ainsi les avantages de l’automatisation. La course à la création d’outils de vérification fiables est donc cruciale pour le succès à long terme de l’IA dans le génie logiciel.
