Но в принципе ИИ может быть использован для проверки кода верно ?
А, еще ИИ может быть использован для проверки единого стиля кода. То есть "ошибки" в стиле, например можно задетектить что почти везде отступ 4 пробела, а в паре мест - только два. Но это мелочи, в принципе.