ImandraX: Przełom w neurosymbolicznym rozumowaniu AI i automatycznej weryfikacji logicznej

Imandra Inc., firma AI rewolucjonizująca automatyczne rozumowanie logiczne, ogłosiła wydanie ImandraX, swojego najnowszego osiągnięcia w neurosymbolicznym rozumowaniu AI. To przełomowe wydanie wprowadza najnowocześniejsze możliwości w automatyzacji dowodów, generowaniu przykładów i procedurach decyzyjnych, ustanawiając nowy standard branżowy dla analizy logicznej napędzanej przez AI.

Podczas gdy systemy AI coraz częściej napędzają aplikacje krytyczne dla misji w branżach takich jak finanse, obrona, opieka zdrowotna i systemy autonomiczne, popyt na godne zaufania, wyjaśnialne i matematycznie rygorystyczne rozumowanie jest większy niż kiedykolwiek. ImandraX posuwa granice AI, łącząc potężne automatyczne rozumowanie z agentami AI, ramami weryfikacji i modelami podejmowania decyzji w świecie rzeczywistym.

Imandra Inc.: Pionierzy AI-napędzanego rozumowania logicznego

Imandra Inc. jest globalną firmą AI, która jest pionierem platform Reasoning-as-a-Service® dla automatycznego rozumowania logicznego w branżach finansowych, obronnych i bezpieczeństwa krytycznego. Jej zaawansowane rozwiązania oparte na AI obejmują Imandra Markets® i Imandra Connectivity®, które zapewniają rygorystyczną weryfikację formalną, automatyzację projektowania i narzędzia zgodności dla aplikacji krytycznych dla misji. Zbudowane na głębokich postępach w automatycznym rozumowaniu, Imandra umożliwia firmom pewne stosowanie logicznych, dokładnych i audytowalnych wniosków opartych na AI.
Imandra jest poświęcona wprowadzaniu rygoru i zarządzania do najbardziej krytycznych algorytmów na świecie. Firma zbudowała system automatycznego rozumowania w skali chmury, umożliwiający organizacjom wykorzystywanie logiki matematycznej do rozumowania AI. Z silnym naciskiem na rozwijanie godnych zaufania i wyjaśnialnych AI, technologia Imandry jest wykorzystywana przez badaczy, korporacje i agencje rządowe na całym świecie.

Podniesienie poprzeczki w rozumowaniu AI

Denis Ignatovich, współzałożyciel i współprezes Imandra Inc., powiedział, “ImandraX jest przełomowym krokiem w czynieniu zaawansowanego symbolicznego rozumowania integralną częścią przepływów pracy AI. Wyposażając agenci AI w potężne automatyczne rozumowanie logiczne i możliwości weryfikacji formalnej, posuwamy granice tego, co systemy inteligentne mogą osiągnąć.”
Dr Grant Passmore, współzałożyciel Imandra Inc., dodał, “ImandraX jest kulminacją lat badań i wdrożeń w świecie rzeczywistym w niektórych z najbardziej wymagających branż, w tym finansów, obrony i AI. Nasi klienci i partnerzy polegają na automatycznym rozumowaniu Imandry, aby zapewnić bezpieczeństwo i niezawodność systemów krytycznych dla misji, od giełd finansowych po agenci autonomiczni. Z ImandraX nie tylko robimy rygorystyczne rozumowanie dostępnym – robimy je niezbędnym dla następnej generacji podejmowania decyzji opartych na AI.”

Kluczowe innowacje w ImandraX

ImandraX wprowadza kilka przełomowych możliwości, w tym:

• Przełomy w automatyzacji dowodów – rozwija rozumowanie logiczne, wprowadzając nowe techniki dla mieszanych dyskretnych i ciągłych funkcji rekurencyjnych nad typami danych. Ta innowacja umożliwia pierwszy formalny model i weryfikację nowego standardu IEEE P3109 dla małych (<16 bit) formatów punktu płynnego, niezbędnych dla kwantyzacji i destylacji sieci neuronowych.
• Weryfikacja bezpieczeństwa sieci neuronowych – napędza pierwszy formalnie zweryfikowany sprawdzian dowodów dla weryfikacji właściwości bezpieczeństwa sieci neuronowych, wykorzystując wyższe procedury modelowania i indukcję, aby zapewnić, że modele AI działają bezpiecznie i zgodnie z zamierzeniem.
• Decompozycja przestrzeni stanu – dostarcza ponad 4-krotny wzrost wydajności dla zadań dekompozycji regionu, znacznie poprawiając wydajność dla użytkowników finansowych w testowaniu łączności FIX i innych aplikacji krytycznych dla misji.
• Ulepszenia doświadczenia deweloperskiego – nowo wprowadzony wtyczka VS Code umożliwia rozwijanie dowodów równolegle, pozwalając na uruchamianie zadań równoległych w chmurze rozumowania Imandry i upraszczając przepływ pracy weryfikacji formalnej.
• Bezproblemowa integracja AI – ImandraX bezproblemowo integruje się z nowym interfejsem API Pythona Imandry, umożliwiając płynne wdrożenie w ramy agentów AI, przygotowując scenę dla następnej fali neurosymbolicznego rozumowania AI.

Rozwiązywanie najtrudniejszych wyzwań logicznych AI

Denis Ignatovich stwierdził, “ImandraX opiera się na latach dużych wdrożeń przemysłowych automatycznego rozumowania. Wersja X obejmuje nowe algorytmy rozumowania, przełomowe funkcje architektoniczne i bezproblemową integrację z agentami AI, w tym biblioteką Langgraph.”

Sieci neuronowe i modele podejmowania decyzji opartych na AI muszą radzić sobie z szeregiem wyzwań, w tym wyjaśnialnością, weryfikowalnością i bezpieczeństwem. Wiele obecnych modeli AI, szczególnie tych używanych w głębokim uczeniu, działa jako “czarne skrzynki“, co utrudnia zrozumienie lub zweryfikowanie ich procesów podejmowania decyzji. Ta nieprzezroczystość stanowi duże ryzyko w branżach o wysokich stawkach, takich jak finanse, opieka zdrowotna i systemy autonomiczne, gdzie decyzje AI mogą mieć głębokie konsekwencje w świecie rzeczywistym.

Dla branż, które polegają na sieciach neuronowych, zapewnienie solidności i bezpieczeństwa jest kluczowe. Ignatovich wyjaśnia, “Sieci neuronowe są coraz częściej wykorzystywane w branżach krytycznych dla bezpieczeństwa, więc bardzo ważne jest, aby zachowywały się zgodnie z zamierzeniem i były odporne na szumy wejściowe. Możliwość ImandraX do rozumowania o obliczeniach numerycznych i ogólna infrastruktura weryfikacji formalnej pozwalają na weryfikację właściwości sieci neuronowych, a także na sprawdzanie poprawności dowodów generowanych przez zewnętrzne dowodzące tezę.”

Dlaczego to ma znaczenie dla finansów, obrony i systemów autonomicznych

Branże takie jak finanse, obrona i systemy autonomiczne działają w środowiskach, w których precyzja, niezawodność i zgodność są parami mount. Standardy regulacyjne w tych dziedzinach są stale ewoluujące, wymagając rozwiązań opartych na AI, które spełniają surowe wymagania nadzoru. Niespełnienie tych wymagań może prowadzić do konsekwencji prawnych, strat finansowych i zagrożeń bezpieczeństwa.

Ignatovich wyjaśnia, “Te branże muszą przestrzegać surowych właściwości regulacyjnych i bezpieczeństwa, ale ich złożoność wzrosła daleko poza to, co ludzie mogą w pełni zrozumieć. Automatyzacja dowodów Imandry i dekompozycja przestrzeni stanu, połączone z integracją LLM, pozwalają deweloperom i inżynierom na głęboką analizę zachowania systemu, zapewnienie zgodności i rygorystyczne testowanie systemów opartych na AI.”
W rynkach finansowych, algorytmy AI są odpowiedzialne za decyzje handlowe w czasie rzeczywistym, wykrywanie oszustw i zarządzanie ryzykiem. Nawet drobne rozbieżności mogą mieć ogromne konsekwencje, co czyni weryfikację formalną i automatyczne rozumowanie niezbędnymi do utrzymania integralności systemu. Podobnie, w obronie, systemy autonomiczne muszą działać pod surowymi ograniczeniami, zapewniając, że decyzje oparte na AI są zgodne z celami misji i protokołami bezpieczeństwa.
Systemy autonomiczne, w tym samochody i drony, zależą od modeli AI, które muszą nawigować w nieprzewidywalnych środowiskach, zapewniając przy tym bezpieczeństwo pasażerów i zgodność z przepisami. Zapewnienie, że te systemy oparte na AI zachowują się niezawodnie we wszystkich możliwych warunkach, wymaga rygorystycznych metod testowania, których tradycyjne metody nie mogą dostarczyć. ImandraX wkracza, oferując automatyczną weryfikację logiczną, która pozwala na gruntowne testowanie oparte na scenariuszach, redukując ryzyko związane z nieprzewidywalnością AI.

Przyszłość neurosymbolicznego AI i podejmowania decyzji opartych na AI

Ignatovich podkreślił, “Widzimy podejścia neurosymboliczne jako następny duży krok w ewolucji AI. Tradycyjne statystyczne modele, takie jak LLM, brakuje podstawowego logicznego rozumowania. ImandraX mostuje tę lukę, oferując niezrównaną automatyzację do analizy złożonych algorytmów – jednego z kluczowych zastosowań AI dzisiaj.”