Les « logiciels prouvables », une solution au défi de l'opacité des IA

OPINION. Comment garantir la fiabilité et la transparence d'algorithmes dont l'usage se généralise, alors même que leur fonctionnement nous échappe ? Une autre voie, basée sur la technologie cryptographique des logiciels prouvables, est possible et doit être soutenue. Par Elias Tazartes et Clément Walter, co-fondateurs de Kakarot, et Jérémy Beaufils, Directeur de la Chaire Digital Disruption de l'ESSEC.