L’Advanced Research and Invention Agency (ARIA), une unité de recherche et développement britannique, a présenté aujourd’hui un projet futuriste offrant des « garanties de sécurité quantitatives » pour l‘intelligence artificielle (IA). Comparant ces garanties aux normes de sécurité élevées de l’industrie nucléaire et de l’aviation commerciale, ARIA propose une approche où, dans le domaine de l’apprentissage automatique, des garanties probabilistes assureraient qu’aucun dommage ne résulte d’une action spécifique. Au cœur du plan d’ARIA se trouve une IA « gardien » qui veillera à ce que d’autres agents IA opèrent uniquement dans les limites établies pour une application spécifique. Un financement de 59 millions de livres sterling est destiné à développer un prototype évolutif dans un domaine tel que l’équilibrage du réseau électrique ou la gestion de la chaîne d’approvisionnement.
Si elle s’avère efficace, cette initiative pourrait protéger les applications IA à hauts risques, pour les infrastructures critiques ou les essais cliniques par exemple. Le programme est l’œuvre de David ‘davidad’ Dalrymple, co-inventeur de la populaire cryptomonnaie Filecoin, qui a également mené des recherches approfondies sur la sécurité technique de l’IA. En tant que directeur du programme ARIA, Dalrymple a l’opportunité de mettre en pratique son approche du gardien, combinant des modèles scientifiques et mathématiques grâce à une collaboration interdisciplinaire profonde.
ARIA aspire à réaliser des avancées similaires à celles du programme HACMS de DARPA qui a créé un quadricoptère inviolable, démontrant ainsi que la vérification formelle peut produire un logiciel totalement exempt de bugs. Le projet de Dalrymple, soutenu par le scientifique renommé Yoshua Bengio, vise à offrir des garanties de sécurité quantitatives pour l’IA, un domaine où les méthodes actuelles sont insuffisantes.
