Startup Pramaana Labs levanta US$27 millones en ronda semilla liderada por Khosla Ventures

Qué pasó

La compañía Pramaana Labs anunció este miércoles una ronda de financiamiento semilla por US$27 millones, con el objetivo de aplicar técnicas de verificación formal matemática a sistemas de inteligencia artificial. La operación fue liderada por la firma de capital de riesgo Khosla Ventures y contó con la participación de Accel, BoldCap, Nexus Venture Partners, Premji Invest y Unbound.

Según explicó el cofundador y director ejecutivo de Pramaana, Ranjan Rajagopalan, la empresa se concentrará en sectores altamente sensibles como el derecho, el descubrimiento de fármacos y la preparación tributaria, áreas donde los errores pueden resultar particularmente costosos y donde la confiabilidad constituye un factor crítico.

El modelo de la compañía combina un modelo de lenguaje de gran tamaño con una capa determinística de verificación, que utiliza herramientas inspiradas en el lenguaje de programación de código abierto LEAN, empleado originalmente para validar demostraciones matemáticas. De esta forma, el sistema conserva la flexibilidad de los modelos para responder preguntas en lenguaje natural, pero incorpora una validación posterior de las respuestas generadas.

Rajagopalan explicó que sectores como el tributario operan con reglas codificables, lo que permite transformarlas en sistemas determinísticos. 'Una vez que se tiene una versión codificada de las reglas, el razonamiento sobre ellas pasa a ser determinístico', señaló el ejecutivo. La compañía trabaja junto al ex comisionado del Servicio de Impuestos Internos de Estados Unidos Danny Werfel en el área tributaria, y con académicos del Instituto Indio de Tecnología de Delhi, del Instituto Indio de Tecnología de Madras y de la Universidad de California en Berkeley para ciberseguridad y descubrimiento de fármacos.

Rajagopalan resumió la filosofía de la compañía señalando que 'los problemas más difíciles del mundo no son irresolubles; no están formalizados'.

Contexto

La iniciativa de Pramaana se inscribe en un debate creciente en la industria tecnológica sobre la confiabilidad de los sistemas de inteligencia artificial, particularmente en aplicaciones empresariales. A medida que las compañías avanzan en la adopción de inteligencia artificial más allá de proyectos piloto, la capacidad de garantizar resultados verificables se ha transformado en una prioridad estratégica.

La verificación formal es una disciplina con décadas de trayectoria en ciencias de la computación, utilizada tradicionalmente para validar software crítico en sectores como la aviación, la medicina y la defensa. Su aplicación a modelos de inteligencia artificial representa una evolución significativa, al trasladar métodos matemáticos rigurosos a un campo de naturaleza principalmente probabilística.

Existen antecedentes relevantes en este ámbito. El proyecto CATALA, impulsado en Francia, ha logrado formalizar parte del sistema tributario y de beneficios sociales del país en código ejecutable. Rajagopalan citó este caso como precedente directo del enfoque que busca replicar Pramaana en otros contextos regulatorios.

Inversores como Khosla Ventures han incrementado su exposición a firmas que desarrollan soluciones orientadas a reducir los riesgos operacionales asociados al despliegue de modelos de inteligencia artificial en procesos productivos, en un mercado donde la diferenciación técnica resulta cada vez más relevante.

Impacto para empresas chilenas

Para el mercado chileno, el desarrollo de sistemas de inteligencia artificial con verificación formal podría abrir oportunidades relevantes en sectores donde la precisión resulta indispensable. Industrias como la banca, los servicios financieros, la salud y el área tributaria local enfrentan exigencias regulatorias crecientes que demandan niveles superiores de trazabilidad y certeza en los procesos automatizados.

En el caso del sistema tributario chileno, la automatización mediante inteligencia artificial ha sido explorada por grandes contribuyentes y firmas consultoras. No obstante, los márgenes de error aceptables en materia fiscal son reducidos, lo que limita la adopción de soluciones puramente probabilísticas. Herramientas como las que desarrolla Pramaana podrían permitir una mayor integración de inteligencia artificial en estos procesos, al incorporar capas de validación que reduzcan el riesgo de interpretaciones erróneas.

El ecosistema de innovación y emprendimiento chileno ha mostrado interés creciente en aplicaciones empresariales de inteligencia artificial, aunque la mayoría de las compañías locales se concentra en etapas tempranas de desarrollo. El surgimiento de soluciones internacionales enfocadas en confiabilidad podría acelerar la demanda de proveedores que ofrezcan garantías verificables, beneficiando tanto a proveedores locales como a integradores de tecnología.

Sectores como la minería y la energía — pilares de la economía nacional y usuarios intensivos de análisis de datos— podrían eventualmente beneficiarse de sistemas de inteligencia artificial con validación formal, particularmente en aplicaciones vinculadas a cumplimiento normativo y gestión de riesgos.

Qué sigue

En el corto plazo, Pramaana Labs deberá demostrar la viabilidad de su enfoque en al menos uno de los verticales anunciados, consolidando casos de uso concretos que permitan validar su propuesta de valor ante futuros clientes e inversores. La colaboración con el ex comisionado del Servicio de Impuestos Internos de Estados Unidos sugiere que la compañía apuesta por el área tributaria como primera aplicación de referencia.

A mediano plazo, la adopción de técnicas de verificación formal en inteligencia artificial podría convertirse en un estándar para aplicaciones críticas, transformando los criterios de selección de proveedores tecnológicos en sectores regulados. El desempeño de Pramaana será observado con atención por competidores y clientes potenciales, en un mercado donde la confianza técnica resulta cada vez más determinante.