AI ist mächtig Verifizierbare AI ist unaufhaltsam