Pramaana Labs levanta 27 millones de dólares para verificar formalmente la IA en sectores críticos
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.
