ImandraX : une avancée dans le raisonnement neurosymbolique de l'IA et la vérification logique automatisée

Imandra inc., la société d'intelligence artificielle qui révolutionne le raisonnement logique automatisé, a annoncé la sortie d'ImandraX, sa dernière avancée en matière de raisonnement neurosymbolique par l'IA. Cette version historique introduit des capacités de pointe en matière d'automatisation des preuves, de génération de contre-exemples et de procédures de décision, établissant ainsi une nouvelle norme industrielle pour l'analyse logique pilotée par l'IA.

Alors que les systèmes d’IA alimentent de plus en plus d’applications critiques dans des secteurs tels que la finance, la défense, la santé et les systèmes autonomes, la demande de raisonnement fiable, explicable et mathématiquement rigoureux n’a jamais été aussi élevée. ImandraX repousse les limites de l’IA en intégrant un puissant raisonnement automatisé avec des agents d’IA, des cadres de vérification et des modèles de prise de décision du monde réel.

Imandra Inc. : Pionnier du raisonnement logique basé sur l'IA

Imandra Inc. est une société mondiale d'intelligence artificielle pionnière dans le domaine des plateformes Reasoning-as-a-Service® pour le raisonnement logique automatisé dans les secteurs de la finance, de la défense et de la sécurité. Ses solutions avancées basées sur l'IA comprennent Imandra Markets® et Imandra Connectivity®, qui fournissent des outils rigoureux de vérification formelle, d'automatisation de la conception et de conformité pour les applications critiques. S'appuyant sur des avancées profondes en matière de raisonnement automatisé, Imandra permet aux entreprises d'appliquer en toute confiance des informations logiques, précises et vérifiables basées sur l'IA.

Imandra se consacre à apporter rigueur et gouvernance aux algorithmes les plus critiques au monde. La société a construit un système de raisonnement automatisé à l'échelle du cloud, permettant aux organisations d'exploiter la logique mathématique pour le raisonnement de l'IA. En mettant l'accent sur le développement de solutions fiables et IA explicableLa technologie d’Imandra est utilisée par les chercheurs, les entreprises et les agences gouvernementales du monde entier.

Placer la barre plus haut en matière de raisonnement de l'IA

Denis Ignatovich, co-fondateur et co-PDG d'Imandra Inc., a déclaré, « ImandraX est une étape décisive dans la transformation du raisonnement symbolique avancé en un élément essentiel des flux de travail de l'IA. En dotant les agents d'IA de puissantes capacités de raisonnement logique automatisé et de vérification formelle, nous repoussons les limites de ce que les systèmes intelligents peuvent réaliser. »

Dr Grant Passmore, cofondateur d'Imandra Inc., ajoutée, « ImandraX est l'aboutissement d'années de recherche et de déploiement dans le monde réel dans certains des secteurs les plus exigeants, notamment la finance, la défense et l'IA. Nos clients et partenaires s'appuient sur le raisonnement automatisé d'Imandra pour garantir la sécurité et la fiabilité des systèmes critiques, des échanges financiers aux agents autonomes. Avec ImandraX, nous ne nous contentons pas de rendre le raisonnement rigoureux accessible, nous le rendons indispensable pour la prochaine génération de prise de décision basée sur l'IA. »

Principales innovations d'ImandraX

ImandraX présente plusieurs fonctionnalités révolutionnaires, notamment :

• Des avancées dans l'automatisation des preuves – Fait progresser le raisonnement logique en introduisant de nouvelles techniques pour les fonctions récursives mixtes discrètes et continues sur les types de données. Cette innovation permet le premier modèle formel et la vérification du nouveau IEEE P3109 norme pour les petits formats binaires à virgule flottante (< 16 bits), essentielle pour la quantification et la distillation des réseaux neuronaux.
• Vérification de la sécurité des réseaux neuronaux – Alimente le premier vérificateur de preuves formellement vérifié pour la vérification des propriétés de sécurité des réseaux neuronaux, en exploitant la vérification de modèle borné d'ordre supérieur et l'induction pour garantir que les modèles d'IA fonctionnent en toute sécurité et comme prévu.
• Décomposition de l'espace d'états et des régions – Offre des accélérations plus de 4 fois supérieures pour les tâches de décomposition de région, améliorant considérablement l'efficacité des utilisateurs financiers dans les tests de connectivité FIX et d'autres applications critiques.
• Améliorations de l'expérience des développeurs – Un nouveau plugin VS Code permet le développement de preuves parallèles, permettant l'exécution de tâches simultanées dans le cloud de raisonnement d'Imandra et rationalisant le flux de travail de vérification formelle.
• Intégration transparente de l'IA – ImandraX s'intègre de manière transparente à la nouvelle API Python d'Imandra, permettant une adoption en douceur dans les cadres d'agents d'IA, ouvrant la voie à la prochaine vague d'agents de raisonnement d'IA neurosymboliques.

Relever les défis logiques les plus difficiles de l'IA

Denis Ignatovitch déclaré, « ImandraX s'appuie sur des années d'applications industrielles à grande échelle de raisonnement automatisé. La version X intègre de nouveaux algorithmes de raisonnement, des fonctionnalités architecturales révolutionnaires et une intégration transparente avec l'IA agentique, notamment la bibliothèque Langgraph. »

Les réseaux neuronaux et les modèles de prise de décision basés sur l'IA doivent faire face à une série de défis, notamment en matière d'explicabilité, de vérifiabilité et de sécurité. De nombreux modèles d'IA actuels, en particulier ceux utilisés dans l'apprentissage en profondeur, fonctionne comme «boîtes noires”, ce qui rend difficile la compréhension ou la vérification de leurs processus décisionnels. Cette opacité constitue un risque majeur dans les secteurs à enjeux élevés tels que la finance, la santé et les systèmes autonomes, où les décisions de l’IA peuvent avoir de profondes conséquences dans le monde réel.

Pour les industries qui dépendent des réseaux neuronaux, il est essentiel de garantir la robustesse et la sécurité. Ignatovitch explique, « Les réseaux neuronaux sont de plus en plus utilisés dans les industries où la sécurité est essentielle. Il est donc très important de s'assurer qu'ils se comportent comme prévu et qu'ils sont résistants aux entrées bruyantes. La capacité d'ImandraX à raisonner sur le calcul numérique et son infrastructure globale de vérification formelle lui permettent de vérifier les propriétés des réseaux neuronaux, tout en vérifiant l'exactitude des preuves générées par des démonstrateurs de théorèmes tiers. »

Pourquoi cela est important pour la finance, la défense et les systèmes autonomes

Les secteurs tels que la finance, la défense et les systèmes autonomes évoluent dans des environnements où la précision, la fiabilité et la conformité sont primordiales. Les normes réglementaires dans ces domaines évoluent constamment, ce qui exige que les solutions basées sur l'IA répondent à des exigences de surveillance strictes. Le non-respect de ces réglementations peut entraîner des conséquences juridiques, des pertes financières et des risques pour la sécurité.

Ignatovitch élabore, « Ces industries doivent respecter des réglementations et des règles de sécurité strictes, mais leur complexité dépasse largement ce que les humains peuvent comprendre. L'automatisation des preuves et la décomposition des régions d'espace d'état d'Imandra, combinées à l'intégration LLM, permettent aux développeurs et aux ingénieurs d'analyser en profondeur le comportement des systèmes, de garantir la conformité et de tester rigoureusement les systèmes pilotés par l'IA. »

Sur les marchés financiers, les algorithmes d’IA sont responsables des décisions de trading en temps réel, de la détection des fraudes et de la gestion des risques. Même des écarts mineurs peuvent avoir des répercussions considérables, ce qui rend la vérification formelle et le raisonnement automatisé essentiels pour maintenir l’intégrité du système. De même, dans le domaine de la défense, les systèmes autonomes doivent fonctionner sous des contraintes strictes, garantissant que les décisions prises par l’IA sont conformes aux objectifs de la mission et aux protocoles de sécurité.

Les systèmes autonomes, notamment les véhicules autonomes et les drones, dépendent de modèles d’IA qui doivent évoluer dans des environnements imprévisibles tout en garantissant la sécurité des passagers et la conformité réglementaire. Pour garantir que ces systèmes pilotés par l’IA se comportent de manière fiable dans toutes les conditions possibles, il faut des méthodologies de test rigoureuses que les méthodes traditionnelles ne peuvent pas fournir. ImandraX intervient en proposant une vérification logique automatisée qui permet des tests approfondis basés sur des scénarios, réduisant ainsi les risques associés à l’imprévisibilité de l’IA.

L'avenir de l'IA neurosymbolique et de la prise de décision basée sur l'IA

Ignatovitch souligné, « Nous considérons les approches neurosymboliques comme la prochaine grande étape dans l’évolution de l’IA. Les modèles statistiques traditionnels, tels que les LLM, manquent de raisonnement logique fondamental. ImandraX comble cette lacune en offrant une automatisation inégalée pour l’analyse d’algorithmes complexes, l’une des principales applications de l’IA aujourd’hui. »