ImandraX: Ett genombrott inom neurosymbolisk AI-resonemang och automatiserad logisk verifikation

Imandra Inc., det AI-företag som revolutionerar automatiserad logisk resonemang, har tillkännagett 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-driven logisk analys.

Medan AI-system i allt högre grad driver mission-kritiska applikationer över hela världen 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 automatiserad resonemang med AI-agenter, verifikationsramar och beslutsmodeller för den verkliga världen.

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 automatiserat logiskt resonemang inom finans, försvar 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 mission-kritiska applikationer. Byggt på djupa framsteg inom automatiserad 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 automatiserat resonemangssystem, som möjliggör för organisationer att utnyttja matematisk logik för AI-resonemang. Med ett starkt fokus 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 transformationellt steg i att göra avancerat symboliskt resonemang en kärndel av AI-arbetsflöden. Genom att utrusta AI-agenter med kraftfull automatiserad 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ärldsdistribution över några av de mest krävande branscherna – inklusive finans, försvar och AI. Våra kunder och partners förlitar sig på Imandras automatiserade resonemang för att säkerställa säkerheten och tillförlitligheten hos mission-kritiska system, från finansiella utbyten till autonoma agenter. Med ImandraX är vi inte bara tillgängliga för rigoröst resonemang – vi gör det oumbärligt för nästa generation av AI-drivna beslutsfattare.”

Nyckelinnovationer i ImandraX

ImandraX introducerar flera banbrytande funktioner, inklusive:

• Genombrott inom bevisautomatisering – Framsteg 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.
• Neurala nätverkssäkerhetsverifikation – Ger den första formellt verifierade beviskontrollen för neurala nätverkssäkerhetsverifikation, 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.
• Tillståndsrumregiondekomposition – Levererar mer än 4 gånger snabbare regiondekompositionsuppgifter, vilket avsevärt förbättrar effektiviteten för finansanvändare i FIX-anslutningstestning och andra mission-kritiska applikationer.
• Utvecklarupplevelseförbättringar – Ett nyligen introducerat VS Code-plugin möjliggör parallell bevisutveckling, som tillåter samtidiga jobb att köras i Imandras resonemangscloud och strömlinjeformar den formella verifikationsarbetsflödet.
• Seamless AI-integration – ImandraX integrerar sömlöst med Imandras nya Python-API, som möjliggör smidig antagande i AI-agentramar och bana väg för nästa våg av neurosymbolisk AI-resonemangagenter.

Att hantera AI:s tuffaste logiska utmaningar

Denis Ignatovich sa, “ImandraX bygger på år av storskalig industriell tillämpning av automatiserat resonemang. Version X inkorporerar nya resonemangsalgoritmer, banbrytande arkitekturfunktioner och sömlös 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 det kan verifiera neurala nätverksegenskaper, samtidigt som det kontrollerar riktigheten av bevis som genereras av tredjepartsbevisare.”

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

Branscher som finans, försvar och autonoma system opererar i miljöer där precision, tillförlitlighet och efterlevnad är av yttersta vikt. Regleringsstandarder i dessa fält 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 tillståndsrumregiondekomposition, i kombination med LLM-integration, möjliggör för utvecklare och ingenjörer att djupt 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 automatiserad 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, för att säkerställa 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 automatiserad 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-drivet beslutsfattande

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