Насчет ИИ - неформализуем, по-моему, не САМ интеллект, а ЗАДАЧИ, которые он решает. Нейросети работают именно по такому принципу - задача ставится не формально, а как некий набор образов, "обучающих" сеть.  И успехи в этой области довольно впечатляющие - вроде идентификации человека по фото/видео.