Pramaana Labs recauda 27 millones de dólares en ronda semilla de Khosla Ventures para llevar la verificación formal a la IA

Pramaana Labs ha anunciado una recaudación de 27 millones de dólares en financiación semilla, liderada por Khosla Ventures. La startup busca resolver el problema de la fiabilidad en la IA mediante la verificación formal, combinando sistemas matemáticos con inteligencia artificial. Se centrarán en sectores sensibles como el derecho, el descubrimiento de fármacos y la preparación de impuestos, donde los errores son costosos. Su sistema utiliza un LLM con una capa determinista que asegura la validez de los resultados, empleando herramientas de verificación formal como el lenguaje de programación LEAN.