Pramaana Labs lève 27 millions de dollars pour sécuriser l'IA avec la vérification formelle

Pramaana Labs, une startup spécialisée dans la vérification formelle des systèmes d'IA, a annoncé une levée de fonds de 27 millions de dollars en seed round, menée par Khosla Ventures. L'objectif est de renforcer la fiabilité des modèles d'IA dans des secteurs où les erreurs peuvent avoir des conséquences financières ou juridiques graves, comme le droit, la découverte de médicaments ou la fiscalité.

La vérification formelle, une méthode mathématique permettant de prouver l'absence de bugs dans un système, est présentée comme une solution pour atténuer les risques liés aux modèles d'IA opaques ou non déterministes. Contrairement aux approches traditionnelles de test ou de validation empirique, cette technologie garantit un niveau de certitude élevé, essentiel pour les applications critiques.

Pramaana Labs se positionne ainsi sur un créneau porteur, où la demande pour des IA sûres et explicables émerge face aux limites des solutions actuelles. La levée de fonds servira notamment à accélérer le développement de ses outils et à étendre son offre aux entreprises des secteurs ciblés.