Waarschijnlijk had ik dit een meer clickbait-titel moeten geven, zoals: We hebben AI-hallucinatie opgelost!* * in de beperkte context van wetenschappelijke ML** ** met behulp van een hoop formele verificatie, geautomatiseerd bewijsvoering en toegepaste categorietheorie