Eine mathematische Vermutung, die 87 Jahre lang Bestand hatte, wurde kürzlich von Claude Fable 5 widerlegt. Interessanterweise besteht das entdeckte Gegenbeispiel den Standard-Invertibilitätscheck erfolgreich. Da es jedoch drei verschiedene Eingaben in genau eine identische Ausgabe umleitet, bleibt es unmöglich, es zu invertieren.

Dieses Szenario zeigt ganz deutlich, dass das bloße Bestehen eines Verifikationschecks noch keinen tatsächlichen Beweis darstellt. Genau in dieser Art von logischer Lücke existieren unterkonstruierte ZK-Bugs.