ImandraX: Et gjennombrudd i nevro-symbolisk AI-resonnering og automatisert logisk verifisering

Imandra Inc., det AI-selskapet som revolusjonerer automatisert logisk resonnering, har annonsert lanseringen av ImandraX, deres siste fremsteg i nevro-symbolisk AI-resonnering. Denne banebrytende lanseringen introduserer nye kapasiteter i bevisautomatisering, moteksempelgenerering og beslutningsprosesser, og setter en ny industristandard for AI-drevet logisk analyse.

Da AI-systemer i økende grad driver kritiske applikasjoner over flere bransjer, som finansielle tjenester, forsvar, helse og autonome systemer, har behovet for pålitelige, forklarbare og matematisk strenge resonneringer aldri vært større. ImandraX presses grensene for AI ved å integrere kraftig automatisert resonnering med AI-agenter, verifiseringssystemer og beslutningsmodeller fra virkeligheten.

Imandra Inc.: Pionerer i AI-drevet logisk resonnering

Imandra Inc. er et globalt AI-selskap som pionerer med Reasoning-as-a-Service®-plattformer for automatisert logisk resonnering i finansielle, forsvars- og sikkerhetskritiske bransjer. Deres avanserte AI-drevne løsninger inkluderer Imandra Markets® og Imandra Connectivity®, som tilbyr strenge formelle verifiseringer, designautomatisering og compliance-verktøy for kritiske applikasjoner. Bygget på dyptgående fremsteg i automatisert resonnering, muliggjør Imandra at bedrifter kan anvende logiske, nøyaktige og revisjonable AI-drevne innsikter med tillit.
Imandra er dedikert til å bringe strenghet og styring til verdens mest kritiske algoritmer. Selskapet har bygget et sky-basert automatisert resoneringssystem, som muliggjør at organisasjoner kan utnytte matematisk logikk for AI-resonnering. Med en sterk vekt på å utvikle pålitelige og forklarbare AI, er Imandras teknologi avhengig av forskere, bedrifter og myndigheter over hele verden.

Raising the Bar in AI Reasoning

er oversatt til

Øker standarden i AI-resonnering

Denis Ignatovich, medgrunnlegger og med-CEO av Imandra Inc., sa, “ImandraX er et transformasjonssteg i å gjøre avansert symbolisk resonnering til en integrert del av AI-arbeidsflyter. Ved å utruste AI-agenter med kraftig automatisert logisk resonnering og formell verifisering, presser vi grensene for hva intelligente systemer kan oppnå.”
Dr. Grant Passmore, medgrunnlegger av Imandra Inc., la til, “ImandraX er kulminasjonen av år med forskning og virkelige anvendelser over noen av de mest krevende bransjene – inkludert finansielle tjenester, forsvar og AI. Våre kunder og partnere avhenger av Imandras automatiserte resonnering for å sikre sikkerheten og påliteligheten til kritiske systemer, fra finansielle børser til autonome agenter. Med ImandraX er vi ikke bare åpne for rigorøs resonnering – vi gjør det uunnværlig for den neste generasjonen av AI-drevne beslutninger.”

Nøkkelinnovasjoner i ImandraX

ImandraX introduserer flere banebrytende kapasiteter, inkludert:

• Gjennombrudd i bevisautomatisering – Fremmer logisk resonnering ved å introdusere nye teknikker for blandet diskret og kontinuerlig rekursive funksjoner over datatyper. Denne innovasjonen muliggjør den første formelle modellen og verifiseringen av den nye IEEE P3109-standarden for små (<16 bit) binære flytende punktformater, essensiell for neural nettverkskvantisering og destillasjon.
• Neural nettverkssikkerhetsverifisering – Aktiverer den første formelt verifiserte beviskontrollør for neural nettverkssikkerhetseigenskapsverifisering, som utnytter høyere-ordens begrensede modellkontroll og induksjon for å sikre at AI-modeller opererer trygt og som ønsket.
• Tilstandsromdekomposisjon – Leverer mer enn 4 ganger raskere regiondekomposisjonstasker, noe som vesentlig forbedrer effisiensen for finansielle brukere i FIX-tilkoblings-testing og andre kritiske applikasjoner.
• Utviklererfaringforbedringer – En ny innført VS Code-plugin muliggjør parallell bevisutvikling, som tillater samtidige jobber å kjøre i Imandras resoneringssky og strømlinjeformer den formelle verifiseringsarbeidsflyten.
• Ubemerkbar AI-integrasjon – ImandraX integrerer ubemerkbart med Imandras nye Python-API, som muliggjør enkel innføring i AI-agentrammeverk, og setter scenen for den neste bølgen av nevro-symbolisk AI-resonneringagenter.

Adresse AI sin tøffeste logiske utfordringer

Denis Ignatovich uttalte, “ImandraX bygger på år med storindustrielle anvendelser av automatisert resonnering. Versjon X inkorporerer nye resoneralgoritmer, banebrytende arkitektoniske funksjoner og ubemerkbar integrasjon med agentisk AI, inkludert Langgraph-biblioteket.”

Neural nettverk og AI-drevne beslutningsmodeller må håndtere en rekke utfordringer, inkludert forklarbarhet, verifiserbarhet og sikkerhet. Mange nåværende AI-modeller, spesielt de som brukes i dypt læring, fungerer som “svarte bokser“, noe som gjør det vanskelig å forstå eller verifisere deres beslutningsprosesser. Denne uklarheten utgjør en stor risiko i høyrisikobransjer som finansielle tjenester, helse og autonome systemer, hvor AI-beslutninger kan ha dyptgående virkelige konsekvenser.

For bransjer som er avhengige av neural nettverk, er det kritisk å sikre robusthet og sikkerhet. Ignatovich forklarer, “Neural nettverk er i økende grad avhengige av sikkerhetskritiske bransjer, så det er veldig viktig å sikre at de oppfører seg som ønsket og er robuste mot støyende inndata. ImandraX sin evne til å resonere om numerisk beregning og dens overordnede formelle verifiseringsinfrastruktur tillater det å verifisere neural nettverkseigenskaper, samt å kontrollere riktigheten av bevis generert av tredjepartsbevisstøtter.”

Hvorfor dette er viktig for finansielle tjenester, forsvar og autonome systemer

Bransjer som finansielle tjenester, forsvar og autonome systemer opererer i miljøer hvor presisjon, pålitelighet og overholdelse er av største betydning. Reguleringsstandarder i disse feltene utvikler seg konstant, og krever at AI-drevne løsninger oppfyller strenge tilsynskrav. Svikt i å overholde disse reguleringene kan føre til juridiske konsekvenser, finansielle tap og sikkerhetsrisiko.

Ignatovich utdyper, “Disse bransjene må overholde strenge reguleringer og sikkerhetskrav, men deres kompleksitet har vokst langt utover hva mennesker fullt ut kan forstå. Imandras bevisautomatisering og tilstandsromdekomposisjon, kombinert med LLM-integrasjon, tillater utviklere og ingeniører å dypt analysere systematferd, sikre overholdelse og strengt teste AI-drevne systemer.”

I finansielle markeder er AI-algoritmer ansvarlige for sanntids handelsbeslutninger, svindelforebygging og risikostyring. Selv små avvik kan ha massive konsekvenser, og gjør formell verifisering og automatisert resonnering essensiell for å opprettholde systemsikkerhet. Tilsvarende i forsvar, må autonome systemer operere under strenge begrensninger, og sikre at AI-drevne beslutninger er i samsvar med oppdragsmål og sikkerhetsprotokoller.

Autonome systemer, inkludert selvkjørende kjøretøy og droner, avhenger av AI-modeller som må navigere i uforutsigbare miljøer samtidig som de sikrer passasjersikkerhet og overholder reguleringer. Sikring av at disse AI-drevne systemene oppfører seg pålitelig under alle mulige forhold, krever strenge testmetoder som tradisjonelle metoder ikke kan tilby. ImandraX griper inn ved å tilby automatisert logisk verifisering som tillater grundig scenario-basert testing, og reduserer risikoene forbundet med AI-uforutsigbarhet.

Fremtiden for nevro-symbolisk AI og AI-drevne beslutninger

Ignatovich betonet, “Vi ser nevro-symboliske tilnærminger som det neste store skrittet i AI-utviklingen. Tradisjonelle statistiske modeller, som LLM-er, mangler grunnleggende logisk resonnering. ImandraX broer dette gapet, og tilbyr ubetinget automatisering for å analysere komplekse algoritmer – en av de viktigste anvendelsene av AI i dag.”