Questa non è una risposta completa e non ho molta esperienza nelle reti neurali, ma forse è utile.
Le NN essenzialmente ricevono un input e producono una risposta. Vengono poi addestrati attraverso la pratica per produrre risposte simili su input "simili" nel dominio, ad esempio la stessa etichetta per le immagini dello stesso animale o valutazioni elevate per posizioni "buone" di scacchi in cui il buono significa alte probabilità di vincita.
Quindi, come ho commentato, le reti neurali sono un modello di calcolo non uniforme che funziona in modo totalmente diverso rispetto agli algoritmi passo-passo eseguiti su macchine di Turing. Invece, pensali come circuiti "morbidi" che usano matematica continua piuttosto che booleana e possono essere modificati o addestrati e possono sbagliare.
Perché giocare a scacchi è più facile di Dijkstra o del grafisomorfismo?
In parte, è la differenza tra chiedere a qualcuno di rispondere a una domanda al meglio delle proprie capacità e chiedere loro la risposta corretta insieme a una prova che è corretta. Parzialmente, è la differenza tra risolvere un problema di dimensioni fisse e risolvere contemporaneamente il problema per tutte le possibili dimensioni di input.
Ogni volta che Dijkstra viene eseguito su un'istanza, che può essere di qualsiasi dimensione, dimostra implicitamente che il suo output è l'unica vera risposta e nessun'altra. Nel riconoscimento degli scacchi e delle immagini, si dà la risposta migliore possibile e gli errori sono tollerati. Inoltre, si allena solo le reti per risolvere questi problemi di una dimensione alla volta. Non credo che sappiamo ancora come generalizzare una soluzione di rete neurale per, ad esempio, problemi di dimensioni e forme completamente diverse.
Non penso che dovremmo supporre che le reti neurali non possano risolvere i percorsi più brevi o problemi algoritmici simili, ma risolvono i problemi in un modo fondamentalmente diverso rispetto a un algoritmo passo-passo che è sempre corretto.
Tornando alla somiglianza tra reti neurali e circuiti, nota che i circuiti sono stati studiati per decenni, ma a giudicare dalla mancanza di risposte a (5) della mia domanda precedente , non sappiamo quasi nulla su come costruire circuiti completamente corretti per un dato problema se non tramite la trasformazione di un algoritmo uniforme (Turing Machine) in un circuito.