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
Imagen de Redacción

Las más leídas de Negocios & Finanzas

Mercado Pago relanzó Mago: qué se puede hacer con su asistente de IA

  1. Apple y LG avanzan con una nueva línea de dispositivos inteligentes para el hogar

  2. Gemini 4: cuándo se lanzará el nuevo modelo de Google DeepMind

  3. Google lanza Gemini como agente de IA para empresas

  4. Jeep lanzó la preventa del Avenger: cómo reservarlo y qué precio estiman los concesionarios

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.

Anthropic lanza escaneos gratuitos de seguridad con IA para software libre
Te puede interesar:

Anthropic lanza escaneos gratuitos de seguridad con IA para software libre


Temas:

verificación formalinteligencia artificialPramaana Labssectores regulados

La Derecha Diario en X

  1. BASADO: James Hetfield de Metallica destruyó a los músicos que convierten sus recitales en mítines políticos. “METALLICA NO ESTÁ AQUÍ, COMO OTROS ARTISTAS, PARA INFLUENCIARTE CON SUS MIERDAS... ESTAMOS ACÁ PARA OLVIDARTE DE TODA LA MIERDA”.

    hace 13 h

  2. EXCELENTE: Agentes federales dispersaron a un grupo de dementes progresistas que bloqueaban y confrontaban a los oficiales en las inmediaciones del centro de detención de Newark.

    hace 9 min

  3. DELIRANTE: Una comunista usó un megáfono para gritarle directamente en la cara a un agente frente a las instalaciones de ICE en Newark, el oficial sin dudarlo se lo sacó de las manos y la demente terminó llorando represión.

    hace 24 min

  4. BRUTAL ATAQUE A UN POLICÍA EN FRANCIA: Un agente fue golpeado por inmigrantes africanos musulmanes cuando intentaba detener a un criminal que acababa de disparar morteros contra un instituto.

    hace 39 min

  5. ESPAÑA ESTÁ PERDIDA: Un grupo de dementes pro-Hamás terminaron a los golpes durante una manifestación cerca de Puerta del Sol.

    hace 54 min

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

Muse Wonder: cómo es la nueva IA de Meta que busca recordar información durante meses

Muse Wonder: cómo es la nueva IA de Meta que busca recordar información durante meses

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

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

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

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

Un travesti apuñalo 13 veces a un hombre en Chicago por no llamarlo "mujer"

Un travesti apuñalo 13 veces a un hombre en Chicago por no llamarlo "mujer"

El Gobierno de Milei trasladó al 40% de los presos de Devoto en 48 horas y repara una deuda histórica

El Gobierno de Milei trasladó al 40% de los presos de Devoto en 48 horas y repara una deuda histórica

PS5 Midnight Black: cómo es la nueva consola económica de Sony

PS5 Midnight Black: cómo es la nueva consola económica de Sony

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.