они генерят массивы с циферками для всего на свете и смотрят как они взаимодействуют с другими массивами с циферками
Точнее сказать, нейросеть вычисляет значение функции. Например, мы хотим различать на картинках кошек и собак. Математически можно сформулировать так: мы хотим функцию, которая на картинках с кошками возвращает 1, а на картинках с собаками - 0. Нейросеть вычисляет аппроксимацию этой функции. Нейросети, несмотря на свою довольно простую арифметическую природу, могут аппроксимировать очень много разнообразных функций - за счёт большого числа варьируемых коэффициентов.
Математическая заковыка в том, что функцию, различающую кошек и собак, невозможно определить формально.
Машинное обучение состоит как раз в том, чтобы коффициенты подбирались сами собой.
Про семантику - вопрос философский.