verifiserbar intelligens > kunstig intelligens