Pramaana Labs recauda 27 millones de dólares en una ronda semilla de Khosla Ventures para llevar la verificación formal a la IA
TechCrunch
Pramaana Labs recaudó 27 millones de dólares para mejorar la fiabilidad de la IA mediante la verificación formal en sectores críticos.Resumen
Pramaana Labs ha recaudado 27 millones de dólares en una ronda de financiación semilla liderada por Khosla Ventures. La empresa busca resolver los problemas de fiabilidad de la IA integrando modelos de lenguaje con herramientas de verificación formal basadas en el lenguaje LEAN. Este enfoque permite crear sistemas deterministas capaces de verificar resultados, lo cual es fundamental para sectores de alta sensibilidad como el derecho, la preparación de impuestos y el descubrimiento de fármacos, donde los errores pueden tener consecuencias significativas.
(Fuente：TechCrunch)