Hai mai ricevuto un’e-mail e sospettavi che fosse stata scritta da un’intelligenza artificiale anziché realizzata con amore? I matematici sono alle prese con sentimenti simili da mezzo secolo e hanno alcune lezioni per il resto di noi.
Tutto ebbe inizio nel 1976, quando Kenneth Appel e Wolfgang Haken annunciarono la dimostrazione del teorema dei quattro colori, il quale afferma che sono necessari al massimo quattro colori per colorare qualsiasi mappa in modo tale che due regioni adiacenti non corrispondano. La semplicità del teorema faceva sì che i matematici si aspettassero una dimostrazione elegante che rivelasse maggiori verità matematiche. Invece, hanno trovato 60.000 righe di codice informatico impenetrabile. Appel e Haken risolsero il problema programmando una macchina per esaminare sistematicamente circa 2000 tipi di mappe che rappresentavano ogni possibile configurazione.
All’epoca sembrava insoddisfacente. Ma nel corso dei decenni i matematici impararono a usare il codice in questo modo e risolsero molte obiezioni filosofiche. Ciò significava che quando è arrivata l’attuale ondata di intelligenza artificiale, i conti erano pronti.
Come abbiamo riportato qui, l’intelligenza artificiale sta migliorando così rapidamente da sorprendere molti matematici. Mentre Appel e Haken scrivevano il loro codice a mano, ora disponiamo di grandi modelli linguistici che funzionano mentre altri software possono verificarne (e quindi anche provarne) la correttezza. Ciò significa che non ci sono problemi con le allucinazioni – in cui l’intelligenza artificiale semplicemente inventa cose – perché esistono già sistemi per separare il bene dal male.
“ L’intelligenza artificiale sta migliorando così velocemente da sorprendere molti matematici “
Al di fuori della matematica, le cose non sono così semplici. La stampa tecnologica è piena di esempi di codifica dell’intelligenza artificiale andata male e di diversi livelli di disastro. Nel frattempo, la società di ricerca statunitense Gartner ha recentemente previsto che la metà delle aziende che sostituiranno i posti di lavoro con l’intelligenza artificiale riassumeranno persone per svolgere ruoli simili entro l’anno.
Naturalmente, il mondo non è la matematica, ma i matematici hanno dimostrato che l’intelligenza artificiale ha il suo posto se possiamo essere praticamente fiduciosi e filosoficamente a nostro agio con i suoi risultati. Potrebbe volerci un po’ prima che tutti gli altri capiscano.
