Imandra Inc.La compañía de IA que revoluciona el razonamiento lógico automatizado, ha anunciado el lanzamiento de IMANDRAX, su último avance en el razonamiento de IA neurosymbólico. Este lanzamiento histórico introduce capacidades de vanguardia en la automatización de prueba, la generación de contraejemplo y los procedimientos de decisión, estableciendo un nuevo estándar de la industria para el análisis lógico impulsado por la IA.
A medida que los sistemas de IA impulsan cada vez más aplicaciones críticas misioneras en industrias como finanzas, defensa, atención médica y sistemas autónomos, la demanda de razonamiento confiable, explicable y matemáticamente riguroso nunca ha sido mayor. Imandrax empuja los límites de la IA integrando un potente razonamiento automatizado con agentes de IA, marcos de verificación y modelos de toma de decisiones del mundo actual.
IMANDRA INC.: Razonamiento lógico pionero impulsado por la IA
IMANDRA Inc. es una compañía world de IA pionera en las plataformas de razonamiento como Service® para razonamiento lógico automatizado en industrias financieras, de defensa y crítica de seguridad. Sus soluciones avanzadas con AI incluyen Imandra Markets® e Imandra Connectivity®, que proporcionan rigurosas verificación formal, automatización del diseño y herramientas de cumplimiento para aplicaciones de misión crítica. Construido en profundos avances en el razonamiento automatizado, Imandra permite a las empresas aplicar con confianza concepts lógicas, precisas y auditables impulsadas por la IA.
Imandra se dedica a traer rigor y gobernanza a los algoritmos más críticos del mundo. La compañía ha creado un sistema de razonamiento automatizado a escala de la nube, lo que permite a las organizaciones aprovechar la lógica matemática para el razonamiento de IA. Con un fuerte énfasis en el desarrollo de confianza y confiable y AI explicableLa tecnología de Imandra se basa en investigadores, corporaciones y agencias gubernamentales en todo el mundo.
Levantando el bar en el razonamiento de AI
Denis Ignatovich, cofundador y co-CEO de Imandra Inc., dicho, “Imandrax es un paso transformador para hacer que el razonamiento simbólico avanzado sea una parte central de los flujos de trabajo de IA. Al equipar a los agentes de IA con potentes razonamiento lógico automatizado y capacidades de verificación formales, estamos presionando los límites de lo que los sistemas inteligentes pueden lograr “.
Dr. Grant Passmore, cofundador de Imandra Inc., agregado, “Imandrax es la culminación de años de investigación y despliegue del mundo actual en algunas de las industrias más exigentes, incluidas las finanzas, la defensa y la IA. 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 intercambios financieros hasta agentes autónomos. Con Imandrax, no solo estamos haciendo accesible un razonamiento riguroso, lo estamos haciendo indispensable para la próxima generación de toma de decisiones con IA “.
Innovaciones clave en Imandrax
Imandrax presenta varias capacidades innovadoras, que incluyen:
- Avances en la automatización de prueba – Avanza el razonamiento lógico mediante la introducción de nuevas técnicas para funciones recursivas discretas y continuas mixtas sobre los tipos de datos. Esta innovación permite el primer modelo formal y verificación del nuevo IEEE P3109 Estándar para formatos de punto flotante binarios pequeños (<16 bits), esenciales para cuantización y destilación de la purple neuronal.
- Verificación de seguridad de la purple neuronal -alimenta el primer comprobante de prueba formalmente verificado para la verificación de la propiedad de seguridad de la purple neuronal, aprovechando la verificación e inducción del modelo limitado de orden superior para garantizar que los modelos de IA funcionen de manera segura y según lo previsto.
- Descomposición de la región del espacio de estado -Ofrece más de 4X aceleraciones para tareas de descomposición de la región, mejorando significativamente la eficiencia para los usuarios financieros en las pruebas de conectividad de fijación y otras aplicaciones críticas de misión.
- Mejoras de la experiencia del desarrollador – Un complemento de código VS recientemente introducido permite el desarrollo de prueba paralela, lo que permite que los trabajos concurrentes se ejecuten en la nube de razonamiento de Imandra y racionalizar el flujo de trabajo de verificación formal.
- Integración de IA perfecta – Imandrax se integra perfectamente con la nueva API de Python de Imandra, permitiendo una adopción suave en marcos de agentes de IA, preparando el escenario para la próxima ola de agentes de razonamiento de IA neuroestimbólicos.
Abordar 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 e integración perfecta con AI de Agentic, incluida la biblioteca Langgraph “.
Las redes neuronales y los modelos de toma de decisiones impulsados por la IA deben lidiar con una variedad de desafíos, que incluyen explicabilidad, verificabilidad y seguridad. Muchos modelos de IA actuales, particularmente los utilizados en aprendizaje profundofuncione como “cajas negras“Hacer que sea difícil comprender o verificar sus procesos de toma de decisiones. Esta opacidad plantea un riesgo importante en las 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 del mundo actual.
Para las industrias que dependen de las redes neuronales, garantizar la robustez y la seguridad es elementary. Ignatovich explica, “Las redes neuronales se basan cada vez más en las industrias críticas de seguridad, por lo que es muy importante asegurarse de que se comporten según lo previsto y sean robustos para las entradas ruidosas. La capacidad de Imandrax para razonar sobre el cálculo numérico y su infraestructura de verificación formal normal le permiten verificar las propiedades de la purple neuronal, al tiempo que verifica la corrección de las pruebas generadas por los retrocesos del teorema de terceros “.
Por qué esto es importante para los sistemas de finanzas, defensa y 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 primordiales. Los estándares regulatorios en estos campos evolucionan constantemente, lo que requiere soluciones impulsadas por la IA para cumplir con los estrictos requisitos de supervisión. No cumplir con estas regulaciones puede conducir a consecuencias legales, pérdidas financieras y riesgos de seguridad.
Ignatovich elabora, “Estas industrias deben cumplir con estrictas propiedades regulatorias y de seguridad, sin embargo, su complejidad ha crecido mucho más allá de lo que los humanos pueden entender completamente. La automatización de prueba de Imandra y la descomposición de la región del espacio de estado, combinada 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 IA “.
En los mercados financieros, los algoritmos de IA son responsables de las decisiones comerciales en tiempo actual, la detección de fraude y la gestión de riesgos. Incluso las discrepancias menores pueden tener repercusiones masivas, lo que hace que la verificación formal y el razonamiento automatizado sean esenciales para mantener la integridad del sistema. Del mismo modo, en defensa, los sistemas autónomos deben operar bajo limitaciones estrictas, 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 y drones autónomos, dependen de los modelos de IA que deben navegar en entornos impredecibles al tiempo que garantiza la seguridad de los pasajeros y el cumplimiento regulatorio. Asegurar que estos sistemas impulsados por la IA se comporten de manera confiable en todas las condiciones posibles se requiere metodologías de prueba rigurosas que los métodos tradicionales no pueden proporcionar. Imandrax interviene ofreciendo una verificación lógica automatizada que permite pruebas exhaustivas basadas en escenarios, reduciendo los riesgos asociados con la imprevisibilidad de la IA.
El futuro de la toma de decisiones neuroestimbólica y con IA
Ignatovich enfatizado, “Vemos enfoques neuroestimbólicos como 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 elementary. Imandrax une esta brecha, ofreciendo una automatización inigualable para analizar algoritmos complejos, una de las aplicaciones clave de la IA hoy ”.
