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

Я не понимаю, в чём там затруднение. Много уровней софтверного стека имеют размытую границу с аппаратным стеком (там, например, в процессоре много программного — иногда и по нескольку уровней микропрограмм делают, иногда FPGA делают с компилятором и загрузкой в ходе выполнения программ, всякое разное бывает). Меня учили, что разница между аппаратурой и софтом размыта (любой софт можно сделать аппаратно, любую аппаратуру отэмулировать программно). Можно ещё пообсуждать (в вялом режиме) разницу между эмуляцией и симуляцией, но это всё лишнее. Я хочу сказать, что нейросетка может исполнять логику, быть "логической машиной". Есть куча работ на эту тему (хотя успехи там не сравнить с успехами "обычных пруверов", но полно работ, которые показывают преимущество гибридного подхода, типа https://link.springer.com/chapter/10.1007/978-3-031-10769-6_35 — только ленивые сейчас подобным не занимаются. CYC тоже что-то похожее делает в части своих "ускорителей".