Un autre secteur où les erreurs peuvent être coûteuses et où Pramaana Labs vise à améliorer la fiabilité de l'IA.
Pramaana Labs lève 27 millions de dollars pour appliquer la vérification formelle à l'IA dans des secteurs sensibles. Mais est-ce vraiment la solution à tous nos problèmes ou juste une autre promesse technologique qui finira par décevoir ?
