Pramaana Labs levanta 27 millones de dólares para verificar formalmente la IA en sectores críticos

Pramaana Labs levanta 27 millones de dólares para verificar formalmente la IA en sectores críticos

Las más leídas de Negocios & Finanzas

Motorola Razr Flex: las características filtradas del plegable que llegaría en diciembre

  1. Todos los nuevos productos que Apple presentó en su evento “Welcome Home”

  2. Fitbit Edge: cómo es la nueva pulsera inteligente de Google

  3. Se muere el amor: Bumble acordó venderse por USD 1.300 millones tras años de caída de usuarios

  4. OpenAI deberá entregar documentos a Apple en una disputa por secretos comerciales

Imagen de Redacción
porRedacción
Negocios & Finanzas

La startup combina verificación matemática con modelos de lenguaje para reducir errores en derecho, descubrimiento de fármacos y preparación de impuestos, donde la precisión es clave.

Agregar La Derecha Diario en
Compartir:

Las empresas enfrentan cada vez más desafíos para pasar de pruebas piloto de inteligencia artificial a sistemas confiables en su operación diaria. En este contexto, Pramaana Labs surge como una nueva apuesta que busca resolver el problema de la fiabilidad combinando herramientas de formalización matemática con la potencia de los modelos de lenguaje.

La compañía anunció una ronda de financiación semilla por 27 millones de dólares liderada por Khosla Ventures, con participación de Accel, BoldCap, Nexus Venture Partners, Premji Invest y Unbound. Este respaldo llega en un momento donde la confiabilidad se convirtió en prioridad para implementar IA en entornos reales.

Enfoque en verticales de alta sensibilidad

Pramaana se concentrará en áreas especialmente sensibles como el derecho, el descubrimiento de fármacos y la preparación de impuestos. En estos campos, un error puede generar costos elevados y se exige el máximo nivel de confiabilidad. La implementación de IA en estos sistemas requiere protecciones más robustas contra alucinaciones y fallos.

Elon Musk advirtió sobre el maltrato a la inteligencia artificial: “Podría querer vengarse”
Te puede interesar:

Elon Musk advirtió sobre el maltrato a la inteligencia artificial: “Podría querer vengarse”


Temas:

verificación formalinteligencia artificialPramaana Labssectores regulados

La Derecha Diario en X

  1. TRUMP ENVIÓ UN MENSAJE A LA HISPANIC HERITAGE GALA ORGANIZADA POR LA DERECHA DIARIO Y LATINO WALL STREET EN WASHINGTON: El presidente de Estados Unidos destacó el aporte de los hispanos al país y reivindicó los valores de “fe, familia y libertad”. “Mi Administración reafirma su compromiso inquebrantable con la defensa de estos valores perdurables de fe, familia y libertad. Que Dios los bendiga y que continúe bendiciendo a los Estados Unidos de América”.

    hace 2 h

  2. FESTIVAL DE DOMA: Un kirchnerista experto en “políticas públicas de género” intentó discutir con el productor rural y miembro de la @FundFaro José Antonio Álvarez (@BumperCrop1) y el hombre del campo lo aniquiló en vivo.

    hace 3 h

  3. VENDEPATRIA: El miserable "Baby" Etchecopar le pidió a Milei que "deje de joder" con defender la soberanía argentina sobre las Islas Malvinas porque "los ingleses nos van a bombardear" y "las Malvinas no valen tanta sangre".

    hace 3 h

  4. "VAMOS A SEGUIR QUITÁNDOLE TRABAS AL SECTOR PRIVADO PARA QUE PUEDA SEGUIR EXPANDIÉNDOSE". Durante la Hispanic Heritage Gala, Javier Milei ratificó que su Gobierno continuará profundizando la desregulación económica para hacer a la Argentina el país más libre del mundo. "No por nada creamos el primer ministerio de desregulación de la historia para acelerar en este objetivo".

    hace 3 h

  5. TRUMP BASADÍSIMO: "Soy un negociador. Siempre he sido un muy buen negociador. Me hice muy rico gracias a los negocios, por lo que no ando burlándome de la gente. Parte de la razón por la que tienes esa guerra en primer lugar es que Biden anduvo burlándose de Rusia".

    hace 4 h

La Derecha Diario logo
TwitterInstagramYouTubeTikTokFacebook
Derecha Diario TV

Nosotros

  • Quienes Somos
  • Autores
  • Donar

Privacidad

  • Protección de datos
  • Canales
  • Sitemap
  • RSS

Contacto

  • info@derechadiario.com.ar
PUBLICIDAD
La Derecha Diario logo
ENX logoInstagram logoYouTube logoTikTok logoFacebook
ÚLTIMAS NOTICIASPOLÍTICAOPINIÓNINTERNACIONALESECONOMÍADEPORTESENTRETENIMIENTOLA DERECHA DIARIO INVESTIGANEGOCIOS & FINANZASSOCIEDADCÓRDOBA
ÚLTIMAS NOTICIAS
DERECHA DIARIO TV
  • EN
    XInstagramYouTubeTikTokFacebook
  • DERECHA DIARIO TV
  • Secciones
  • ÚLTIMAS NOTICIAS
  • POLÍTICA
  • OPINIÓN
  • INTERNACIONALES
  • ECONOMÍA
  • DEPORTES
  • ENTRETENIMIENTO
  • LA DERECHA DIARIO INVESTIGA
  • NEGOCIOS & FINANZAS
  • SOCIEDAD
  • CÓRDOBA
  • Países
  • La Derecha Diario México logoLA DERECHA DIARIO MÉXICO
  • La Derecha Diario Uruguay logoLA DERECHA DIARIO URUGUAY
  • La Derecha Diario Ecuador logoLA DERECHA DIARIO ECUADOR
  • La Derecha Diario Israel logoLA DERECHA DIARIO ISRAEL
  • La Derecha Diario Estados Unidos logoLA DERECHA DIARIO ESTADOS UNIDOS
  • Temas
  • GUERRA EN IRÁN
  • El Diario
  • QUIENES SOMOS
  • AUTORES
  • PUBLICIDAD
  • DONAR

Noticias relacionadas

Todos los nuevos productos que Apple presentó en su evento “Welcome Home”

Todos los nuevos productos que Apple presentó en su evento “Welcome Home”

OpenAI deberá entregar documentos a Apple en una disputa por secretos comerciales

OpenAI deberá entregar documentos a Apple en una disputa por secretos comerciales

Se muere el amor: Bumble acordó venderse por USD 1.300 millones tras años de caída de usuarios

Se muere el amor: Bumble acordó venderse por USD 1.300 millones tras años de caída de usuarios

El CFI impulsó un videojuego donde Gildo Insfrán es un superhéroe que pelea contra Milei

El CFI impulsó un videojuego donde Gildo Insfrán es un superhéroe que pelea contra Milei

Denisse González fue internada por cuarta vez en el año: ¿qué se sabe de su estado de salud?

Denisse González fue internada por cuarta vez en el año: ¿qué se sabe de su estado de salud?

Nuevo revés para los rugbiers condenados por el crimen de Fernando Báez Sosa: la Corte rechazó otro reclamo

Nuevo revés para los rugbiers condenados por el crimen de Fernando Báez Sosa: la Corte rechazó otro reclamo

Según Ranjan Rajagopalan, cofundador y CEO de la empresa, estos dominios se adaptan bien a la formalización. “Es como la matemática en el sentido de que hay muchas reglas que hay que respetar”, explicó, refiriéndose al código tributario. Una vez codificadas esas reglas, el razonamiento encima se vuelve determinista.

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI | TechCrunch

El sistema de Pramaana utiliza un LLM convencional para mantener la flexibilidad y responder preguntas en lenguaje natural o resolver problemas complejos. Sin embargo, incorpora una capa determinista que verifica el trabajo del modelo.

Verificación formal con LEAN

Lo distintivo de su enfoque es el uso de herramientas de verificación formal, basadas en el lenguaje de programación open source LEAN, empleado para verificar pruebas matemáticas. Esta combinación de motor LLM con verificación determinista gana popularidad, pero Pramaana la potencia con formalización rigurosa.

Existe precedente en proyectos como CATALA de Francia, que formaliza gran parte del sistema tributario y de beneficios del país en código ejecutable. Para cada caso de uso, Pramaana construirá su propio sistema de verificación estilo LEAN, supervisado por expertos en el dominio.

En derecho tributario, colaboran con el ex comisionado del IRS Danny Werfel. Profesores de IIT Delhi, IIT Madras y UC Berkeley supervisan los sistemas de ciberseguridad y descubrimiento de fármacos.

Los problemas más difíciles del mundo no son irresolubles, sino que no están formalizados, afirma Rajagopalan. Cada dominio donde equivocarse puede costar salud, dinero o libertad tiene reglas que ahora necesitan ser codificadas de manera precisa.

Esta aproximación busca llevar la IA a niveles de confiabilidad matemática en campos donde los errores no son una opción. Al formalizar las reglas complejas de cada sector, Pramaana apunta a que los modelos generativos operen con garantías verificables, reduciendo riesgos en aplicaciones críticas.