The check you can write is the check you can fool

Der Autor schlägt einen engen Test für die Überprüfung von KI-Systemen vor: ob das überprüfte System die Überprüfung selbst hätte erstellen können. Dieser Ansatz betont die Herkunft der Beweise für eine echte Verifizierung, anstatt sich nur auf interne Mechanismen zu verlassen.