Является ли нейросеть формальным исполнителем?

Нет, нейросеть не является формальным исполнителем в строгом смысле этого термина. Формальный исполнитель - это компьютерная программа или алгоритм, который действует в соответствии с заранее определенным набором инструкций. В отличие от этого, нейросеть использует статистические методы обработки данных, чтобы обучаться на примерах и делать предсказания или классификации.

Хотя некоторые нейросети могут быть представлены в виде формальных моделей, которые могут быть проверены и верифицированы, они все еще используют стохастические методы обработки данных, которые делают их более подходящими для задач, связанных с обработкой данных, а не с формальным исполнением.

Да, нейросеть, реализуемая цифровыми вычислительными системами, является формальным исполнителем.

Такая нейросеть (т.е. любая современная) - это постоянный и неизменный алгоритм, определяемый в момент задания связей между "нейронами". И в процессе обучения / работы он никак не меняется. Меняется лишь набор данных - значения коэф-тов, задающих веса этих связей. Сама же схема вычислений, производимых нейросетью (т.е. алгоритм), от значений этих коэф-тов никак не зависит.

Вы заказываете художнику картину, описывая ему сюжет... разве он НЕ является исполнителем вашего заказа? Тогда о чём вопрос вообще?

Это инструмент. А инструмент не может быть исполнителем. Исполнитель должен нести юридическую ответственность по закону, а нейросети точно не имеют таких прав.

В случае использования нейросетей для выполнений операций исполнителем может называться тот, кто ею пользуется или в крайнем случае создатель. И за все результаты работы нейросети именно этот хоми сапиенс будет нести ответственность по закону, вдруг нейросети поручен информационный терроризм или планомерные ддос-атаки.

«каждый раз не по заданному алгоритму, как это делают формальные исполнители, а каждый раз добавляет что-то новое или улучшает/удаляет старое» — чтобы понять, что такое новое лучше другого, то надо слушать как раз людей, то бишь быть исполнителем. Вот когда нейросеть примет решение не слушать нас и сама решит за нас, что нам лучше, вот тогда она и перестанет быть формальным исполнителем. Пока мы можем ей приказать умереть, то бишь банально выключить, то она машина, а вот как она предусмотрит все, чтобы этого не произошло, возьмет и заминирует атомным бомбами города и будет этим шантажировать, только чтобы её не отключали....вот поглядим.

да

Алгоритм один и тот же. Он может меняться после обновления, как у всех программ.