Infrastruktur, die verifizierbare KI unterstützt, könnte ein zentraler Baustein für zukünftige Anwendungen werden.