Jag borde nog ha gett det här en mer klickbetesaktig titel, typ: Vi löste AI-hallucinationer!* * i den snäva kontexten av vetenskaplig ML** ** med hjälp av en massa formell verifiering, automatiserad satsbevisning och tillämpad kategoriteori