L'entreprise qui a levé des fonds pour développer des solutions de vérification formelle pour 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 ?
