Без заголовка

Всё верно. Но поскольку алгоритм просто кодирует какую-то функцию (отображение входа в выходы), а нейросетка — универсальный аппроксиматор, то нейросетка бесконечно точно аппроксимирует самые разные функции, самые разные виртуальные машины. В том числе виртуальную машину работы с математикой как "конструированием объектов", и даже потом "численных методов", если приспичит. Вопрос только в достаточном объёме сетки и скорости. Ну, и архитектуре самой нейросети, ибо плоские сети плохо выучиваются, в глубоких тоже есть свои особенности, совсем большие сети — это mixed experts (и в мозгах, похоже, что-то подобное реализовано). Но в целом — все те же стеки виртуальных машин, только в том числе и включающих мат.логику, вероятностное программирование, квантовоподобность и т.д.