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 avanzada en razonamiento neurosimbólico de la inteligencia artificial. Este lanzamiento histórico introduce capacidades de vanguardia en automatización de pruebas, generación de contraejemplos y 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 de la misión en industrias como las finanzas, la defensa, la atención médica y los sistemas autónomos, la demanda de razonamiento confiable, explicable y riguroso matemáticamente nunca ha sido mayor. ImandraX impulsa los límites de la inteligencia artificial al integrar un poderoso razonamiento automatizado con agentes de inteligencia artificial, marcos de verificación y modelos de toma de decisiones del mundo real.

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

Imandra Inc. es una empresa global de inteligencia artificial que pionera en plataformas de Razonamiento como Servicio® para razonamiento lógico automatizado en industrias financieras, de defensa y de seguridad crítica. Sus soluciones avanzadas impulsadas por la inteligencia artificial incluyen Imandra Markets® y Imandra Connectivity®, que proporcionan verificación formal rigurosa, automatización de diseño y herramientas de cumplimiento para aplicaciones críticas de la misión. Construida sobre avances profundos en razonamiento automatizado, Imandra permite a las empresas aplicar con confianza perspicacias impulsadas por la inteligencia artificial, lógicas, precisas y auditables.
Imandra se dedica a llevar 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, 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 una 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 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 central de los flujos de trabajo de la inteligencia artificial. Al equipar a los agentes de inteligencia artificial con poderosas capacidades de razonamiento lógico automatizado y verificación formal, estamos impulsaando los límites de lo que los sistemas inteligentes pueden lograr.”
Dr. Grant Passmore, Co-fundador de Imandra Inc., agregó, “ImandraX es la culminación 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 de la misión, 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 lo estamos haciendo 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 Automatización de Pruebas – Mejora el razonamiento lógico al introducir nuevas técnicas para funciones recursivas mixtas discretas y continuas sobre tipos de datos. Esta innovación permite el primer modelo formal y verificación del nuevo estándar IEEE P3109 para formatos de punto flotante binario pequeños (<16 bits), esenciales para la cuantificación y la 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 de orden superior y la inducción para garantizar que los modelos de inteligencia artificial operen de manera segura y como se pretende.
• Descomposición de Regiones del Espacio de Estado – Ofrece más de 4 veces de velocidad para tareas de descomposición de regiones, mejorando significativamente la eficiencia para los usuarios de finanzas en pruebas de conectividad FIX y otras aplicaciones críticas de la misión.
• Mejoras en la Experiencia del Desarrollador – Un plugin de VS Code recién introducido permite el desarrollo de pruebas paralelas, 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 marcos de agentes de inteligencia artificial, sentando las bases para la próxima ola de agentes 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 de 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 aprendizaje profundo, funcionan como “cajas negras“, lo que hace que sea difícil entender o verificar sus procesos de toma de decisiones. Esta opacidad plantea un riesgo importante en industrias de alto riesgo como las finanzas, la atención médica y los sistemas autónomos, donde las decisiones de la inteligencia artificial pueden tener consecuencias importantes 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 para la seguridad, por lo que es muy importante garantizar que se comporten como se pretende y sean robustas ante entradas ruidosas. La capacidad de ImandraX para razonar sobre cálculos numéricos y su infraestructura de verificación formal en general permiten verificar las propiedades de las redes neuronales, al tiempo que se verifican la corrección de las pruebas generadas por verificadores de teoremas de terceros.”

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

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 requisitos puede generar 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 estado de Imandra, combinadas con la integración de LLM, permiten a los desarrolladores e 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 decisiones de trading en tiempo real, detección de fraude y gestión de riesgos. Even 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, incluyendo los vehículos autónomos y los drones, dependen de modelos de inteligencia artificial que deben navegar en 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 fiable en todas las condiciones posibles requiere métodos de prueba rigurosos que los métodos tradicionales no pueden proporcionar. ImandraX interviene al ofrecer una verificación lógica automatizada que permite pruebas exhaustivas basadas 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 analizar algoritmos complejos, una de las aplicaciones clave de la inteligencia artificial hoy en día.”