ImandraX: Un Avance en la Razonamiento Neurosimbólico de la Inteligencia Artificial y la Verificación Lógica Automatizada

Imandra Inc., la empresa de inteligencia artificial que revoluciona la razonamiento lógico automatizado, ha anunciado el lanzamiento de ImandraX, su última innovación en razonamiento neurosimbólico de la inteligencia artificial. Este lanzamiento histórico introduce capacidades de vanguardia en la automatización de pruebas, la generación de contraejemplos y los procedimientos de decisión, estableciendo un nuevo estándar industrial para el análisis lógico impulsado por la inteligencia artificial.

A medida que los sistemas de inteligencia artificial impulsan cada vez más aplicaciones críticas en industrias como las finanzas, la defensa, la salud y los sistemas autónomos, la demanda de razonamiento confiable, explicable y riguroso desde el punto de vista matemático nunca ha sido tan alta. ImandraX impulsa los límites de la inteligencia artificial al integrar un razonamiento automatizado poderoso con agentes de inteligencia artificial, marcos de verificación y modelos de toma de decisiones en el mundo real.

Imandra Inc.: Pionera en el Razonamiento Lógico Impulsado por la Inteligencia Artificial

Imandra Inc. es una empresa global de inteligencia artificial que pionera en las plataformas de Razonamiento como Servicio® para el razonamiento lógico automatizado en las industrias financieras, de defensa y de seguridad crítica. Sus soluciones avanzadas de inteligencia artificial incluyen Imandra Markets® y Imandra Connectivity®, que proporcionan una verificación formal rigurosa, automatización de diseño y herramientas de cumplimiento para aplicaciones críticas. Construidas sobre avances profundos en el razonamiento automatizado, Imandra permite a las empresas aplicar con confianza insights impulsados por la inteligencia artificial lógicos, precisos y auditables.

Imandra se dedica a traer rigor y gobernanza a los algoritmos más críticos del mundo. La empresa ha construido un sistema de razonamiento automatizado a escala de nube, lo que permite a las organizaciones aprovechar la lógica matemática para el razonamiento de la inteligencia artificial. Con un fuerte énfasis en el desarrollo de inteligencia artificial confiable y explicable, la tecnología de Imandra es utilizada por investigadores, corporaciones y agencias gubernamentales de todo el mundo.

Elevar el Listón en el Razonamiento de la Inteligencia Artificial

Denis Ignatovich, Co-fundador y Co-CEO de Imandra Inc., dijo, “ImandraX es un paso transformacional para hacer que el razonamiento simbólico avanzado sea una parte fundamental de los flujos de trabajo de la inteligencia artificial. Al equipar a los agentes de inteligencia artificial con capacidades de razonamiento lógico automatizado y verificación formal poderosas, estamos impulsando los límites de lo que los sistemas inteligentes pueden lograr.”

Dr. Grant Passmore, Co-fundador de Imandra Inc., agregó, “ImandraX es el resultado de años de investigación y despliegue en el mundo real en algunas de las industrias más exigentes, incluyendo las finanzas, la defensa y la inteligencia artificial. Nuestros clientes y socios confían en el razonamiento automatizado de Imandra para garantizar la seguridad y la confiabilidad de los sistemas críticos, desde los intercambios financieros hasta los agentes autónomos. Con ImandraX, no solo estamos haciendo que el razonamiento riguroso sea accesible, sino que también es indispensable para la próxima generación de toma de decisiones impulsada por la inteligencia artificial.”

Innovaciones Clave en ImandraX

ImandraX introduce varias capacidades innovadoras, incluyendo:

• Avances en la Automatización de Pruebas – Mejora el razonamiento lógico al introducir nuevas técnicas para funciones recursivas discretas y continuas mixtas sobre datatypes. Esta innovación permite el primer modelo formal y verificación del nuevo estándar IEEE P3109 para formatos de punto flotante binario pequeño (<16 bits), esencial para la cuantización y destilación de redes neuronales.
• Verificación de Seguridad de Redes Neuronales – Proporciona el primer verificador de pruebas formalmente verificado para la verificación de propiedades de seguridad de redes neuronales, aprovechando el modelado de límites y la inducción para garantizar que los modelos de inteligencia artificial operen de manera segura y según lo previsto.
• Descomposición de Regiones del Espacio de Estados – Ofrece más de 4 veces de mejora en la eficiencia para las tareas de descomposición de regiones, lo que mejora significativamente la eficiencia para los usuarios financieros en las pruebas de conectividad FIX y otras aplicaciones críticas.
• Mejoras en la Experiencia del Desarrollador – Un nuevo plugin de VS Code introduce el desarrollo de pruebas paralelo, lo que permite que los trabajos concurrentes se ejecuten en la nube de razonamiento de Imandra y simplifica el flujo de trabajo de verificación formal.
• Integración Sin Problemas con la Inteligencia Artificial – ImandraX se integra sin problemas con la nueva API de Python de Imandra, lo que permite una adopción fluida en los marcos de agentes de inteligencia artificial, sentando las bases para la próxima ola de razonamiento neurosimbólico de la inteligencia artificial.

Abordar los Desafíos Lógicos más Difíciles de la Inteligencia Artificial

Denis Ignatovich declaró, “ImandraX se basa en años de aplicaciones industriales a gran escala del razonamiento automatizado. La versión X incorpora nuevos algoritmos de razonamiento, características arquitectónicas innovadoras y una integración sin problemas con la inteligencia artificial agente, incluyendo la biblioteca Langgraph.”

Las redes neuronales y los modelos de toma de decisiones impulsados por la inteligencia artificial deben enfrentar una serie de desafíos, incluyendo la explicabilidad, la verificabilidad y la seguridad. Muchos de los modelos de inteligencia artificial actuales, particularmente aquellos utilizados en el aprendizaje profundo, funcionan como “cajas negras“, lo que hace difícil entender o verificar sus procesos de toma de decisiones. Esta opacidad supone un riesgo importante en industrias de alto riesgo como las finanzas, la salud y los sistemas autónomos, donde las decisiones de la inteligencia artificial pueden tener consecuencias significativas en el mundo real.

Para las industrias que dependen de las redes neuronales, garantizar la robustez y la seguridad es fundamental. Ignatovich explica, “Las redes neuronales se utilizan cada vez más en industrias críticas, por lo que es muy importante garantizar que se comporten según lo previsto y sean robustas ante entradas ruidosas. La capacidad de ImandraX para razonar sobre la computación numérica y su infraestructura de verificación formal en general permiten verificar las propiedades de las redes neuronales, al mismo tiempo que se verifica la corrección de las pruebas generadas por los verificadores de teoremas de terceros.”

Por Qué Esto Es Importante para las Finanzas, la Defensa y los Sistemas Autónomos

Las industrias como las finanzas, la defensa y los sistemas autónomos operan en entornos donde la precisión, la confiabilidad y el cumplimiento son fundamentales. Los estándares regulatorios en estos campos están en constante evolución, lo que requiere que las soluciones impulsadas por la inteligencia artificial cumplan con estrictos requisitos de supervisión. No cumplir con estos reglamentos puede llevar a consecuencias legales, pérdidas financieras y riesgos para la seguridad.

Ignatovich elabora, “Estas industrias deben cumplir con estrictas propiedades regulatorias y de seguridad, pero su complejidad ha crecido mucho más allá de lo que los humanos pueden entender completamente. La automatización de pruebas y la descomposición de regiones del espacio de estados de Imandra, combinadas con la integración de LLM, permiten a los desarrolladores y ingenieros analizar profundamente el comportamiento del sistema, garantizar el cumplimiento y probar rigurosamente los sistemas impulsados por la inteligencia artificial.”

En los mercados financieros, los algoritmos de inteligencia artificial son responsables de las decisiones de trading en tiempo real, la detección de fraude y la gestión de riesgos. Incluso las pequeñas discrepancias pueden tener repercusiones masivas, lo que hace que la verificación formal y el razonamiento automatizado sean esenciales para mantener la integridad del sistema. De manera similar, en la defensa, los sistemas autónomos deben operar bajo estrictas restricciones, garantizando que las decisiones impulsadas por la inteligencia artificial se alineen con los objetivos de la misión y los protocolos de seguridad.

Los sistemas autónomos, incluidos los vehículos autónomos y los drones, dependen de modelos de inteligencia artificial que deben navegar por entornos impredecibles mientras garantizan la seguridad de los pasajeros y el cumplimiento regulatorio. Garantizar que estos sistemas impulsados por la inteligencia artificial se comporten de manera confiable en todas las condiciones posibles requiere metodologías de prueba rigurosas que los métodos tradicionales no pueden proporcionar. ImandraX interviene al ofrecer una verificación lógica automatizada que permite una prueba exhaustiva basada en escenarios, reduciendo los riesgos asociados con la imprevisibilidad de la inteligencia artificial.

El Futuro de la Inteligencia Artificial Neurosimbólica y la Toma de Decisiones Impulsada por la Inteligencia Artificial

Ignatovich enfatizó, “Vemos los enfoques neurosimbólicos como el próximo gran paso en la evolución de la inteligencia artificial. Los modelos estadísticos tradicionales, como los LLM, carecen de razonamiento lógico fundamental. ImandraX cubre esta brecha, ofreciendo una automatización sin precedentes para el análisis de algoritmos complejos, una de las aplicaciones clave de la inteligencia artificial hoy en día.”