Pramaana Labs lève 27 M$ pour la vérification formelle de l’IA
Pramaana Labs a levé 27 millions de dollars auprès de Khosla Ventures pour appliquer la vérification formelle à l’IA, ciblant des secteurs sensibles.
Khosla Ventures
Khosla Ventures parie 10 M$ sur l’IA comptable de Synthetic
Khosla Ventures investit 10 millions de dollars dans Synthetic, la nouvelle entreprise d’IA d’Ian Crosby, malgré l’échec de sa précédente startup, Bench.