Sannsynligvis burde jeg gitt dette en mer clickbait-tittel, som: Vi løste AI-hallusinasjoner!* * i den snevre konteksten av vitenskapelig ML** ** ved bruk av en rekke formell verifisering, automatisert teorembevis og anvendt kategoriteori