ImandraX: un gran avance en el razonamiento neurosimbólico de la IA y la verificación lógica automatizada

imandra inc., la empresa de inteligencia artificial que está revolucionando el razonamiento lógico automatizado, ha anunciado el lanzamiento de ImandraX, su último avance en razonamiento de inteligencia artificial neurosimbólico. Este lanzamiento emblemático presenta capacidades de vanguardia en automatización de pruebas, generación de contraejemplos y procedimientos de decisión, lo que establece un nuevo estándar en la industria para el análisis lógico impulsado por inteligencia artificial.

A medida que los sistemas de IA potencian cada vez más aplicaciones de misión crítica en sectores como las finanzas, la defensa, la atención sanitaria y los sistemas autónomos, la demanda de un razonamiento fiable, explicable y matemáticamente riguroso nunca ha sido mayor. ImandraX amplía los límites de la IA al integrar un razonamiento automatizado potente con agentes de IA, marcos de verificación y modelos de toma de decisiones del mundo real.

Imandra Inc.: Pioneros en razonamiento lógico basado en inteligencia artificial

Imandra Inc. es una empresa global de inteligencia artificial pionera en plataformas Reasoning-as-a-Service® para el razonamiento lógico automatizado en las industrias financieras, de defensa y de seguridad crítica. Sus soluciones avanzadas impulsadas por IA incluyen Imandra Markets® e Imandra Connectivity®, que brindan verificación formal rigurosa, automatización del diseño y herramientas de cumplimiento para aplicaciones de misión crítica. Basada en profundos avances en razonamiento automatizado, Imandra permite a las empresas aplicar con confianza información lógica, precisa y auditable impulsada por IA.

Imandra se dedica a aportar rigor y gobernanza a los algoritmos más críticos del mundo. La compañía ha desarrollado un sistema de razonamiento automatizado a escala de la nube, que permite a las organizaciones aprovechar la lógica matemática para el razonamiento de IA. Con un fuerte énfasis en el desarrollo de algoritmos confiables y... IA explicableInvestigadores, corporaciones y agencias gubernamentales de todo el mundo confían en la tecnología de Imandra.

Elevando el nivel del razonamiento en IA

Denis Ignatovich, cofundador y codirector ejecutivo de Imandra Inc., dijo: “ImandraX es un paso transformador para convertir el razonamiento simbólico avanzado en una parte fundamental de los flujos de trabajo de IA. Al dotar a los agentes de IA de potentes capacidades de razonamiento lógico automatizado y verificación formal, estamos ampliando los límites de lo que pueden lograr los sistemas inteligentes”.

Dr. Grant Passmore, cofundador de Imandra Inc., adicional, “ImandraX es la culminación de años de investigación e implementación en el mundo real en algunas de las industrias más exigentes, incluidas 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 de misión crítica, desde las bolsas financieras hasta los agentes autónomos. Con ImandraX, no solo estamos haciendo que el razonamiento riguroso sea accesible, sino que lo estamos haciendo indispensable para la próxima generación de toma de decisiones impulsada por la inteligencia artificial”.

Innovaciones clave en ImandraX

ImandraX presenta varias capacidades innovadoras, que incluyen:

• Avances en la automatización de pruebas – Avanza el razonamiento lógico al introducir nuevas técnicas para funciones recursivas discretas y continuas mixtas sobre tipos de datos. Esta innovación permite el primer modelo formal y la verificación de la nueva IEEE P3109 estándar para formatos binarios de punto flotante pequeños (<16 bits), esencial para la cuantificación y destilación de redes neuronales.
• Verificación de seguridad de redes neuronales – Impulsa el primer verificador de pruebas verificado formalmente para la verificación de propiedades de seguridad de redes neuronales, aprovechando la verificación y la inducción de modelos acotados de orden superior para garantizar que los modelos de IA funcionen de manera segura y según lo previsto.
• Descomposición de regiones en el espacio de estados – Ofrece aceleraciones de más de 4 veces para tareas de descomposición de regiones, lo que mejora significativamente la eficiencia para los usuarios financieros en pruebas de conectividad FIX y otras aplicaciones de misión crítica.
• Mejoras en la experiencia del desarrollador – Un complemento de VS Code recientemente introducido permite el desarrollo de pruebas en paralelo, lo que permite que se ejecuten trabajos simultáneos en la nube de razonamiento de Imandra y agiliza el flujo de trabajo de verificación formal.
• Integración perfecta de IA – ImandraX se integra perfectamente con la nueva API Python de Imandra, lo que permite una adopción fluida en los marcos de agentes de IA y prepara el escenario para la próxima ola de agentes de razonamiento de IA neurosimbólicos.

Cómo afrontar los desafíos lógicos más difíciles de la IA

Denis Ignatovich fijado, “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 perfecta con la IA de Agentic, incluida la biblioteca Langgraph”.

Las redes neuronales y los modelos de toma de decisiones basados ​​en IA deben hacer frente a una serie de desafíos, entre ellos la explicabilidad, la verificabilidad y la seguridad. Muchos modelos de IA actuales, en particular los que se utilizan en deep learning, funciona como “cajas negras”, lo que dificulta la comprensión o verificación de 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 IA pueden tener profundas consecuencias en el mundo real.

Para las industrias que dependen de redes neuronales, garantizar la solidez y la seguridad es fundamental. Ignatóvich explica, “Las redes neuronales son cada vez más utilizadas en las industrias críticas para la seguridad, por lo que es muy importante garantizar que se comporten como se espera y sean resistentes a las entradas ruidosas. La capacidad de ImandraX para razonar sobre el cálculo numérico y su infraestructura de verificación formal general le permiten verificar las propiedades de las redes neuronales, al mismo tiempo que verifica la exactitud de las pruebas generadas por probadores 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 normativo son primordiales. Los estándares regulatorios en estos campos están en constante evolución, lo que requiere que las soluciones impulsadas por IA cumplan con estrictos requisitos de supervisión. El incumplimiento de estas regulaciones puede generar consecuencias legales, pérdidas financieras y riesgos de seguridad.

Ignatóvich elabora, “Estas industrias deben cumplir con estrictas normas y regulaciones de seguridad, pero su complejidad ha crecido mucho más allá de lo que los humanos pueden comprender por completo. La automatización de pruebas y la descomposición de regiones en el espacio de estados de Imandra, combinadas con la integración de LLM, permiten a los desarrolladores e ingenieros analizar en profundidad el comportamiento del sistema, garantizar el cumplimiento y probar rigurosamente los sistemas impulsados ​​por IA”.

En los mercados financieros, los algoritmos de IA son responsables de las decisiones comerciales en tiempo real, la detección de fraudes y la gestión de riesgos. Incluso las discrepancias menores pueden tener repercusiones enormes, por lo que la verificación formal y el razonamiento automatizado son esenciales para mantener la integridad del sistema. De manera similar, en defensa, los sistemas autónomos deben operar bajo estrictas restricciones, asegurando que las decisiones impulsadas por la IA 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 IA que deben navegar en entornos impredecibles y, al mismo tiempo, garantizar la seguridad de los pasajeros y el cumplimiento normativo. Garantizar que estos sistemas impulsados ​​por IA 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 realizar pruebas exhaustivas basadas en escenarios, lo que reduce los riesgos asociados con la imprevisibilidad de la IA.

El futuro de la IA neurosimbólica y la toma de decisiones basada en IA

Ignatóvich enfatizado, “Consideramos que los enfoques neurosimbólicos son el próximo gran paso en la evolución de la IA. Los modelos estadísticos tradicionales, como los LLM, carecen de razonamiento lógico fundamental. ImandraX cierra esta brecha, ofreciendo una automatización inigualable para analizar algoritmos complejos, una de las aplicaciones clave de la IA en la actualidad”.