Harmonic, la start-up d’IA du PDG de Robinhood, étend Aristotle à la vérification logicielle et à la conception de puces

Harmonic, la start-up d’intelligence artificielle cofondée par Vlad Tenev, PDG de Robinhood, a annoncé mardi étendre son modèle Aristotle des preuves mathématiques à la vérification logicielle et à la conception de puces, selon Reuters. Cette annonce intervient alors que l’utilisation de l’IA pour détecter les défauts logiciels attire une attention croissante.

Des preuves mathématiques au code

Selon Harmonic, Aristotle peut désormais vérifier des logiciels écrits en C et des puces conçues en Verilog. L’entreprise se fixe pour objectif une « superintelligence mathématique » : un système axé sur le raisonnement, visant à réduire les hallucinations et les erreurs factuelles.

Reuters note que ce type de technologie a récemment servi à découvrir des failles critiques dans PHP, déclenchant une vague mondiale de correctifs. Détecter les défauts dès la conception, par des vérifications mathématiques plutôt que par les seuls tests, est le marché que Harmonic veut occuper.

Un cas de fusion en quatre heures

Harmonic cite le laboratoire de fusion américain DIII-D, qui aurait reconstruit une partie de son logiciel de contrôle de réacteur en quatre heures, à partir d’un seul article de recherche et d’une invite de 254 mots. L’exemple vise à montrer un modèle qui ne se contente pas d’écrire du code, mais le vérifie par rapport à une spécification.

Contexte et points à surveiller

Harmonic a levé 120 millions de dollars en novembre dernier, pour une valorisation de 1,45 milliard de dollars, avec le soutien du fonds de capital-risque de Nvidia, de Sequoia et de Ribbit Capital. Le reportage ne mentionne ni nouveau financement ni nouveaux clients liés à cette expansion. Reste à voir si ces outils de vérification passeront des démonstrations de recherche au travail quotidien des entreprises de puces et de logiciels, et si les clients paieront pour cette certitude supplémentaire.