Verifiserbar kunstig intelligens akselererer kunstig intelligens