12. June 2026
Forskere har lagt frem en ny metode kalt "Maxproof", et gjennombrudd som kombinerer generative språkmodeller med formell matematisk verifikasjon. Verktøyet er designet for å eliminere det største hinderet for AI-adopsjon i næringslivet: tendensen AI-modeller har til å dikte opp fakta eller generere feilaktig kode. Ved å legge en matematisk beviskjede på toppen av AI-genererte svar, kan systemet garantere at outputen faktisk stemmer overens med gitte spesifikasjoner før den iverksettes.
Bakgrunnen for utviklingen er det velkjente tillitsproblemet. Mens kreative næringer har omfavnet generative verktøy med åpne armer, har tungt regulerte bransjer og virksomheter med høye sikkerhetskrav sittet på gjerdet. En feil i en markedsføringstekst er pinlig, mens en feil i en finansiell handelsalgoritme eller i styringssystemet til et strømnett kan være katastrofal. Maxproof forsøker å løse dette ved å bygge en bro mellom den intuitive, men upålitelige generative teknologien, og den rigide, ufeilbarlige matematiske logikken.
For banker og finansinstitusjoner som utvikler egne algoritmer for risikovurdering, åpner dette døren for trygg automatisering i sanntid, ettersom systemet umiddelbart kan verifisere at beregningene holder vann. Programvarehus som leverer samfunnskritisk infrastruktur, kan nå integrere AI-kodegenerering direkte i produksjonslinjen, vel vitende om at sikkerhetshull og logiske feil blir lukket før koden kompileres. Også for logistikkaktører som bruker AI til flåtestyring, betyr denne teknologien at ruteoptimaliseringen kan stoles på 100 prosent, uten behov for manuelle og tidkrevende kontrollrunder.
Les mer om forskningen på arXiv.