ImandraX: En genombrott inom neurosymbolisk AI-resonemang och automatisk logisk verifikation

Imandra Inc., det AI-företag som revolutionerar den automatiska logiska resonemanget, har meddelat lanseringen av ImandraX, deras senaste framsteg inom neurosymbolisk AI-resonemang. Denna banbrytande lansering introducerar toppmoderna funktioner inom bevisautomatisering, motexempelgenerering och beslutsförfaranden, och sätter en ny branschstandard för AI-drivet logiskt analys.

Medan AI-system alltmer driver kritiska applikationer inom branscher som finans, försvar, hälsovård och autonoma system, har behovet av tillförlitlig, förklarlig och matematiskt rigorös resonemang aldrig varit större. ImandraX utvidgar gränserna för AI genom att integrera kraftfull automatisk resonemang med AI-agenter, verifikationsramverk och beslutsmodeller i verkligheten.

Imandra Inc.: Banbrytande AI-drivet logiskt resonemang

Imandra Inc. är ett globalt AI-företag som banar väg för Reasoning-as-a-Service®-plattformar för automatiskt logiskt resonemang inom finansiella, försvars- och säkerhetskritiska branscher. Deras avancerade AI-drivna lösningar inkluderar Imandra Markets® och Imandra Connectivity®, som tillhandahåller rigorös formell verifikation, designautomatisering och efterlevnadsverktyg för kritiska applikationer. Byggt på djupa framsteg inom automatisk resonemang, möjliggör Imandra för företag att med tillförlitlighet tillämpa logisk, exakt och granskbar AI-driven insikt.

Imandra är dedikerat till att bringa stränghet och styrning till världens mest kritiska algoritmer. Företaget har byggt ett molnbaserat system för automatisk resonemang, som möjliggör för organisationer att utnyttja matematisk logik för AI-resonemang. Med en stark betoning på att utveckla tillförlitlig och förklarlig AI, är Imandras teknologi beroendeframkallande för forskare, företag och myndigheter över hela världen.

Att höja ribban för AI-resonemang

Denis Ignatovich, medgrundare och med-VD för Imandra Inc., sa, “ImandraX är ett transformerande steg i att göra avancerat symboliskt resonemang en central del av AI-arbetsflöden. Genom att utrusta AI-agenter med kraftfull automatisk logisk resonemang och formell verifikationsförmåga, utvidgar vi gränserna för vad intelligenta system kan uppnå.”

Dr. Grant Passmore, medgrundare av Imandra Inc., tillade, “ImandraX är kulminationen av år av forskning och verklig världstillämpning inom några av de mest krävande branscherna – inklusive finans, försvar och AI. Våra kunder och partners förlitar sig på Imandras automatiska resonemang för att säkerställa säkerheten och tillförlitligheten hos kritiska system, från finansiella utbyten till autonoma agenter. Med ImandraX är vi inte bara tillgängliga för rigoröst resonemang – vi är oumbärliga för nästa generation av AI-drivna beslutsprocesser.”

Nyckelinnovationer i ImandraX

ImandraX introducerar flera banbrytande funktioner, inklusive:

• Genombrott inom bevisautomatisering – Utvecklar logiskt resonemang genom att introducera nya tekniker för blandade diskreta och kontinuerliga rekursiva funktioner över datatyper. Denna innovation möjliggör den första formella modellen och verifikationen av den nya IEEE P3109-standarden för små (<16 bitar) binära flyttalsformat, som är avgörande för neurala nätverkskvantifiering och destillering.
• Säkerhetsverifiering av neurala nätverk – Ger den första formellt verifierade beviskontrollen för säkerhetsverifiering av neurala nätverk, som utnyttjar högre ordningens begränsad modellkontroll och induktion för att säkerställa att AI-modeller fungerar säkert och som avsett.
• Statisk regionuppdelning – Levererar mer än 4x prestandaförbättringar för regionuppdelning, vilket avsevärt förbättrar effektiviteten för finansiella användare i FIX-anslutningstester och andra kritiska applikationer.
• Utvecklarupplevelseförbättringar – En ny introducerad VS Code-plugin möjliggör parallell bevisutveckling, som tillåter samtidiga jobb att köras i Imandras resonemangsmoln och strömlinjeformar den formella verifikationsprocessen.
• Smidig AI-integration – ImandraX integrerar smidigt med Imandras nya Python-API, som möjliggör enkel adoption i AI-agentramverk och banar väg för den kommande vågen av neurosymbolisk AI-resonemang.

Att hantera AI:s tuffaste logiska utmaningar

Denis Ignatovich sa, “ImandraX bygger på år av storskaliga industriella tillämpningar av automatisk resonemang. Version X inkorporerar nya resonemangs-algoritmer, banbrytande arkitekturfunktioner och smidig integration med agenter, inklusive Langgraph-biblioteket.”

Neurala nätverk och AI-drivna beslutsmodeller måste hantera en mängd utmaningar, inklusive förklarbarhet, verifiabilitet och säkerhet. Många nuvarande AI-modeller, särskilt de som används i djupinlärning, fungerar som “svarta lådor“, vilket gör det svårt att förstå eller verifiera deras beslutsprocesser. Denna opacitet utgör en stor risk i högriskbranscher som finans, hälsovård och autonoma system, där AI-beslut kan ha djupgående verkliga konsekvenser.

För branscher som är beroende av neurala nätverk är det avgörande att säkerställa robusthet och säkerhet. Ignatovich förklarar, “Neurala nätverk används alltmer i säkerhetskritiska branscher, så det är mycket viktigt att säkerställa att de fungerar som avsett och är robusta mot bullriga indata. ImandraX:s förmåga att resonera om numerisk beräkning och dess övergripande formella verifikationsinfrastruktur möjliggör att verifiera neurala nätverks egenskaper, samtidigt som den kontrollerar korrektheten hos bevis genererade av tredjepartsbevisare.”

Varför detta är viktigt för finans, försvar och autonoma system

Branscher som finans, försvar och autonoma system verkar i miljöer där precision, tillförlitlighet och efterlevnad är avgörande. Regleringsstandarder i dessa områden utvecklas ständigt, vilket kräver att AI-drivna lösningar uppfyller stränga tillsynskrav. Underlåtenhet att följa dessa regler kan leda till rättsliga konsekvenser, ekonomiska förluster och säkerhetsrisker.

Ignatovich förklarar, “Dessa branscher måste följa stränga reglerings- och säkerhetskrav, men deras komplexitet har vuxit långt utöver vad människor kan fullständigt förstå. Imandras bevisautomatisering och statisk regionuppdelning, kombinerat med LLM-integration, möjliggör för utvecklare och ingenjörer att djupgående analysera systembeteende, säkerställa efterlevnad och rigoröst testa AI-drivna system.”

I finansiella marknader är AI-algoritmer ansvariga för realtidsbeslut om handel, bedrägeridetektering och riskhantering. Även små avvikelser kan ha enorma konsekvenser, vilket gör formell verifikation och automatisk resonemang avgörande för att upprätthålla systemintegritet. På samma sätt i försvar måste autonoma system fungera under stränga begränsningar, vilket säkerställer att AI-drivna beslut överensstämmer med uppdragsmål och säkerhetsprotokoll.

Autonoma system, inklusive självkörande fordon och drönare, är beroende av AI-modeller som måste navigera i oförutsägbara miljöer samtidigt som de säkerställer passagerarsäkerhet och regelefterlevnad. Att säkerställa att dessa AI-drivna system fungerar tillförlitligt under alla möjliga förhållanden kräver rigorösa testmetoder som traditionella metoder inte kan tillhandahålla. ImandraX fyller denna lucka genom att erbjuda automatisk logisk verifikation som möjliggör omfattande scenariobaserad testning, vilket minskar riskerna förknippade med AI-oförutsägbarhet.

Framtiden för neurosymbolisk AI och AI-driven beslutsfattning

Ignatovich betonade, “Vi ser neurosymboliska tillvägagångssätt som nästa stora steg i AI-utvecklingen. Traditionella statistiska modeller, som LLM, saknar grundläggande logiskt resonemang. ImandraX brottar denna klyfta, erbjuder en obestridd automation för att analysera komplexa algoritmer – en av de viktigaste tillämpningarna av AI idag.”