Pramaana Labs capta US$27 millones para certificar la veracidad de la IA

Pramaana Labs recaudó US$27 millones en una ronda de financiamiento semilla liderada por Khosla Ventures, con el objetivo de desarrollar una capa de verificación que permita a los sistemas de inteligencia artificial demostrar matemáticamente que sus respuestas son correctas. La compañía opera en sectores de alto riesgo regulatorio como impuestos, atención médica y finanzas. Así lo informó GlobeNewswire Inc. el 18 de junio de 2026.

El enfoque técnico de Pramaana Labs consiste en codificar las reglas propias de cada industria en un lenguaje verificable por máquinas. De este modo, el sistema no solo genera una respuesta, sino que puede probar formalmente que dicha respuesta cumple con las normativas aplicables. Este método busca cerrar la brecha de responsabilidad que existe en las aplicaciones de IA cuando se toman decisiones de alto impacto.

La verificación formal es una disciplina proveniente de la ingeniería de software y la lógica matemática, utilizada históricamente para validar sistemas críticos como software aeroespacial o protocolos criptográficos. Pramaana Labs traslada ese paradigma al ámbito de los modelos de lenguaje y los agentes de IA. La propuesta apunta a un problema creciente en la industria: la dificultad de auditar y responsabilizar a los sistemas de IA cuando cometen errores en contextos regulados.

Khosla Ventures, firma de capital de riesgo con historial en apuestas tecnológicas de frontera, encabeza la inversión en esta etapa temprana. La participación de otros inversores en la ronda no fue detallada en el comunicado. El capital recaudado se destinará, presumiblemente, a expandir el equipo y escalar la plataforma, aunque la compañía no especificó un calendario público de hitos.