07. June 2026
Den internasjonale matematikkgruppen, med London Mathematical Society i spissen, har offisielt lansert «Leiden-erklæringen om kunstig intelligens og matematikk». Erklæringen krever et tettere samarbeid mellom AI-utviklere og matematikere for å løse et av de største problemene i dagens AI-bølge: Mangel på forklarbarhet og etterrettelighet. De mener at dagens prøve-og-feile-metode i AI-trening må erstattes med strengere matematiske fundamenter for å sikre pålitelig og trygg teknologi.
Bakgrunnen er den økende bekymringen rundt såkalte "svarte bokser" – AI-modeller som leverer imponerende resultater, men der ingen egentlig kan forklare nøyaktig hvorfor eller hvordan de kom frem til et spesifikt resultat. For de som utvikler modellene har det lenge handlet om å kaste mer data og rå regnekraft på problemet. Matematikerne bak Leiden-erklæringen mener imidlertid at veien videre krever dypere teoretisk forståelse for å forhindre uforutsigbar oppførsel og potensielt farlige feil i kritiske situasjoner.
For selskaper som opererer i strengt regulerte bransjer, som finans, forsikring eller helsetjenester, er dette initiativet etterlengtet. Hvis du leder en bank som bruker algoritmer til kredittvurdering, eller et logistikkselskap som optimaliserer ruter i sanntid, vet du hvor vanskelig det er å garantere for sikkerheten når modellene oppfører seg uforutsigbart. En overgang mot mer matematisk verifiserbar AI vil gjøre det langt enklere å oppfylle kravene i det europeiske regelverket (AI Act), fordi systemene faktisk kan revideres og forklares overfor tilsynsmyndighetene.
For teknologiledere som planlegger neste generasjons AI-arkitektur, er dette et tydelig signal om å se forbi de mest pratsomme språkmodellene. Tiden der vi godtar uforklarlige svar fra kritiske systemer er i ferd med å renne ut. Fremtiden tilhører verifiserbare modeller der solid matematikk møter maskinlæring for å skape forutsigbar og sikker forretningsverdi. Les hele erklæringen hos London Mathematical Society.