Macchine intelligenti: una teoria eretica, un saggio profetico come scritto da Alan Turing

Mi sono imbattuto in Macchine intelligenti: una teoria eretica (circa 1951), un saggio di Alan Turing in cui difende la possibilità che le macchine possano arrivare a pensare e imparare o, nelle sue stesse parole, «simulare con grande fedeltà il comportamento della mente umana». In esso risponde a alcune obiezioni, non sappiamo se perché gliele fece qualcuno o semplicemente come esercizio retorico. È nel formato originale: scansioni delle copie originali scritte a macchina su carta così vecchia che è già ingiallita. Una lettura affascinante.

Sono solo dieci pagine, che risultano colpire nel segno con la situazione attuale dell'intelligenza artificiale. Tanto che sembra impossibile che siano state scritte quasi 80 anni fa. Forse è per questo che a Turing si considera non solo un pioniere ma un vero e proprio visionario. In esso sviluppa come:

• Le macchine di quell'epoca ripetevano solo compiti specifici, per cui molta gente credeva che non potessero «pensare».
• Spiega come il teorema di incompletezza di Gödel sembra mostrare che qualsiasi macchina avrà domande matematiche che non potrà risolvere, mentre una persona sì, per poi discorrere su come le macchine potrebbero ragionare come le persone per evitarlo. Menziona anche l'ultimo teorema di Fermat.
• Spiega come le macchine intelligenti potrebbero sbagliarsi e dare risposte errate, come le persone.
• Accenna a idee di ciò che oggi conosciamo come apprendimento per rinforzo e algoritmi generici, in cui le macchine imparano attraverso «prova ed errore» e in cui variazioni casuali producono risultati diversi, che possono migliorare o peggiorare il loro funzionamento per una sorta di selezione.

Anticipò anche le reazioni che tutto ciò avrebbe prodotto:

Supponiamo ora, a titolo di esempio, che queste macchine siano una possibilità reale e analizziamo le conseguenze della loro costruzione. Certo, costruirle incontrerebbe una grande opposizione, a meno che non siamo avanzati molto in tolleranza religiosa dai tempi di Galileo. Ci sarebbe una forte opposizione da parte degli intellettuali, che temerebbero di perdere i loro posti di lavoro. Tuttavia, è probabile che gli intellettuali si sbaglino al riguardo.

Tutto questo lo vediamo da anni nelle IA che usiamo quotidianamente: il loro uso generico, come evitano certi problemi, danno risposte errate (a volte) che conviene verificare e come imparano attraverso prova ed errore, migliorando in ogni nuova versione. Letto oggi, il suo saggio, più che un'eresia, sembra una profezia.

Relazioni

Alan Turing: il pioniere dell'era dell'informazione

Il Test di Turing

L'intelligenza artificiale e la macchina cosciente

L'intelligenza artificiale nel 1970 e il concetto di intelligenza

Una possibile cronologia dell'intelligenza artificiale

Così imparano le macchine: esperimenti di IA di Google

ChatGPT non è ancora «intelligente», secondo il Test di Turing