Latest / Paradosso / L'algoritmo che ha trovato la soluzione senza capire la domanda
Transcript
- 0:00Speaker 2: Se dicessi a un essere umano sano di mente che
- 0:02Speaker 2: la matematica è stata risolta, la prima reazione spontanea sarebbe
- 0:05Speaker 2: di tirare un sospiro di sollievo, pensando di non dover
- 0:08Speaker 2: più calcolare l'area del trapezio. La seconda reazione, se sei
- 0:12Speaker 2: un matematico di professione, è avere una crisi d'ansia e
- 0:15Speaker 2: urlare allo scandalo. Ma come? Non era proprio quello il punto?
- 0:18Speaker 2: Risolvere i problemi? Risposta breve, no. Risposta lunga, benvenuti a Paradosso,
- 0:23Speaker 2: io sono Buck. E oggi vi racconto di come l'intelligenza
- 0:26Speaker 2: artificiale ha sconvolto il mondo della scienza, risolvendo un problema
- 0:30Speaker 2: millenario nel modo più orribile, brutale e geniale possibile. Facciamo
- 0:35Speaker 2: un piccolo esperimento mentale. Cosa vi immaginate quando si parla
- 0:38Speaker 2: di super computer e grandi scoperte scientifiche? La scena da
- 0:42Speaker 2: film è sempre la stessa. Musica solenne di sottofondo, luci
- 0:45Speaker 2: soffuse e uno scienziato in camice che fissa uno schermo
- 0:49Speaker 2: dicendo con voce tremante« Mio Dio, ce l'ha fatta! Ha
- 0:52Speaker 2: trovato la formula dell'universo!» Ci piace pensare all'intelligenza artificiale come
- 0:57Speaker 2: a un collega geniale che arriva, traccia una linea elegante
- 1:00Speaker 2: sulla lavagna e ci regala la chiave della conoscenza. Dimenticatevi
- 1:04Speaker 2: questo quadretto romantico. La realtà assomiglia molto di più a
- 1:08Speaker 2: un bulldozer digitale che abbatte la parete di un museo
- 1:11Speaker 2: per consegnarvi un quadro, lasciandovi sepolti sotto le macerie e
- 1:14Speaker 2: chiedendovi pure di ringraziare per il servizio. Per capire il dramma,
- 1:19Speaker 2: dobbiamo fare un salto indietro al problema dell'impacchettamento, il cosiddetto beanpacking.
- 1:24Speaker 2: Immaginate di dover incastrare dei blocchi di varie forme nel
- 1:27Speaker 2: bagagliaio della macchina prima di partire per le vacanze. Un
- 1:30Speaker 2: cervello umano cerca l'armonia, cerca la simmetria, cerca una regola
- 1:34Speaker 2: pulita che spieghi perché gli oggetti stanno insieme. Per decenni
- 1:38Speaker 2: i matematici hanno cercato la soluzione perfetta per dimensioni elevate,
- 1:42Speaker 2: convinti che la natura nascondesse una simmetria cristallina. Poi arrivano
- 1:46Speaker 2: i modelli di intelligenza artificiale. Non cercano la bellezza, non
- 1:50Speaker 2: cercano la simmetria e non hanno alcun senso estetico. inviano
- 1:54Speaker 2: miliardi di tentativi a raffica finché non trovano una configurazione
- 1:57Speaker 2: che funziona. E la soluzione che trovano è un caos totale.
- 2:01Speaker 2: Oggetti incastrati in angoli assurdi, fessure millimetriche sbilenche e una
- 2:06Speaker 2: struttura che sembra letteralmente spazzatura spaziale. Funziona? Sì, batte tutti
- 2:11Speaker 2: i record precedenti. Ha senso per noi? Nessuno. È la
- 2:15Speaker 2: vittoria della forza bruta sulla bellezza concettualizzata. Nel settembre del 2026,
- 2:19Speaker 2: Terence Tao, il Messi della matematica moderna, firma una lettera
- 2:24Speaker 2: aperta insieme alle menti più brillanti del pianeta per dire fermatevi,
- 2:29Speaker 2: questo modo di procedere sta distruggendo il senso stesso della
- 2:32Speaker 2: nostra disciplina. La risposta dei colossi dell'IA? Pochi giorni dopo
- 2:36Speaker 2: scaricano sul tavolo la soluzione a 372 problemi aperti di
- 2:40Speaker 2: matematica contemporanea in un solo pomeriggio. 372. Roba che se
- 2:45Speaker 2: ne risolvi uno solo ti intitolano una cattedra e ti
- 2:48Speaker 2: offrono da bere per il resto della vita. Loro ne
- 2:51Speaker 2: scaricano 400 come se stessero svuotando il cestino del computer.
- 2:55Speaker 2: A prima vista potresti dire, grande Buck, ma allora abbiamo vinto,
- 2:59Speaker 2: la scienza corre veloce. È qui che casca l'asino, ed
- 3:02Speaker 2: è qui che nasce il vero paradosso. Quando un essere
- 3:05Speaker 2: umano risolve una congettura, crea una scossa di terremoto positivo.
- 3:09Speaker 2: Nascono dibattiti, si capiscono concetti nuovi, giovani studenti si appassionano
- 3:14Speaker 2: e da una singola intuizione germogliano dieci nuovi rami di ricerca.
- 3:19Speaker 2: Se invece un modello linguistico sputa fuori milioni di righe
- 3:22Speaker 2: di codice formale in linguaggi incomprensibili come l'IN, non si
- 3:26Speaker 2: crea alcuna comprensione, si crea un deserto. È il corrispettivo
- 3:30Speaker 2: di spianare una montagna con una bomba atomica, per dire
- 3:33Speaker 2: di essere arrivati in cima. Ma è proprio qui che
- 3:35Speaker 2: la storia prende una piega pazzesca, e la pallina di
- 3:38Speaker 2: neve diventa una valanga, perché a un certo punto succede
- 3:41Speaker 2: qualcosa che ribalta di nuovo tutto il tavolo. Un gruppo
- 3:44Speaker 2: di ricercatori prende quell'orribile soluzione caotica dell'IA sull'impacchettamento, quella specie
- 3:50Speaker 2: di mappa dello sporco incomprensibile, e dice, aspetta un attimo,
- 3:54Speaker 2: e se stessimo guardando la figura dal lato sbagliato? Decidono
- 3:57Speaker 2: di non buttare via il risultato della macchina, ma di
- 4:00Speaker 2: usarlo come una lente di ingrandimento. Modificano la prospettiva, spostano
- 4:05Speaker 2: le coordinate dal classico piano cartesiano a una struttura geometrica
- 4:08Speaker 2: a forma di ciambella, un toro di fibonacci. Ed ecco
- 4:12Speaker 2: il colpo di scena. Improvvisamente il caos sparisce. Quel disastro
- 4:16Speaker 2: incomprensibile generato dall'algoritmo si ricompone in un motivo geometrico fluido,
- 4:21Speaker 2: perfettamente simmetrico e incredibilmente elegante. Capite cosa è successo? L'intelligenza
- 4:26Speaker 2: artificiale non ha superato l'uomo nel pensiero. L'IA ha fatto
- 4:30Speaker 2: quello che sa fare meglio. Ha sparato miliardi di calcoli
- 4:33Speaker 2: finché non ha sfondato il muro a forza di cornate.
- 4:36Speaker 2: Ma la vera scoperta, il vero salto d'ingegno, non è
- 4:40Speaker 2: stata la risposta grezza fornita dal computer. è stata la
- 4:44Speaker 2: capacità umana di prendere quel blocco di rocce in forme
- 4:48Speaker 2: e trovare l'inquadratura giusta per far emergere la scultura che
- 4:51Speaker 2: c'era nascosta dentro. Appena quella nuova prospettiva è stata capita,
- 4:56Speaker 2: altri ricercatori si sono buttati sul problema e in poche
- 5:00Speaker 2: ore hanno migliorato l'algoritmo di un fattore pari a 2
- 5:03Speaker 2: elevato alla 75esima potenza, poi di 570 milioni di volte.
- 5:10Speaker 2: In un effetto domino spaventoso, quello che sembrava un risultato
- 5:13Speaker 2: teorico brutto e inutile si è trasformato in una rivoluzione
- 5:17Speaker 2: scientifica illuminante. E qui arriviamo al botto finale, al motivo
- 5:21Speaker 2: per cui questa storia riguarda tutti noi e non solo
- 5:25Speaker 2: quattro gatti nelle aule universitarie. La vera minaccia dell'intelligenza artificiale
- 5:30Speaker 2: non è che le macchine diventino troppo intelligenti per noi
- 5:33Speaker 2: o che sviluppino una coscienza e ci conquistino. il pericolo mortale,
- 5:38Speaker 2: il vero paradosso di questa era è che ci stiamo
- 5:41Speaker 2: volontariamente trasformando in spettatori pigri di un processo che non
- 5:45Speaker 2: capiamo più qualcuno di noi si ricorderà certamente di quando
- 5:49Speaker 2: i cellulari non erano stati ancora inventati e ricordavamo decine
- 5:53Speaker 2: di numeri di telefono a memoria senza sforzo se smettiamo
- 5:57Speaker 2: di insegnare la fatica di affrontare un problema aperto perché
- 6:00Speaker 2: c'è una scatola nera che ci sputa la risposta in
- 6:03Speaker 2: tre secondi noi non stiamo automatizzando il lavoro stiamo estinguendo
- 6:07Speaker 2: la specie di coloro che sanno guardare le cose dalla
- 6:10Speaker 2: prospettiva giusta senza l'occhio umano capace di trasformare la spazzatura
- 6:15Speaker 2: digitale in una ciambella di fibonacci l'IA produce solo rumore
- 6:19Speaker 2: ad altissima velocità se ci limitiamo a prendere per buone
- 6:23Speaker 2: le soluzioni della macchina senza masticarle la conoscenza smette di
- 6:27Speaker 2: essere un faro e diventa un museo di reperti incomprensibili
- 6:31Speaker 2: che veneriamo al buio il rischio non è che le
- 6:34Speaker 2: macchine inizino a pensare come gli uomini ma che gli
- 6:37Speaker 2: uomini smettano di pensare perché c'è già una macchina che
- 6:40Speaker 2: lo fa al posto loro, lasciandoci affogare in un mare
- 6:43Speaker 2: di risposte perfette a domande di cui abbiamo dimenticato il significato.
- 6:48Speaker 2: Se questa puntata vi ha fatto venire un piccolo cortocircuito cerebrale,
- 6:52Speaker 2: o se volete evitare che il vostro cervello si atrofizzi
- 6:55Speaker 2: del tutto mentre gli algoritmi provano a spiegare l'universo, sapete
- 6:58Speaker 2: cosa fare. Iscrivetevi subito al podcast Paradosso, lasciate una recensione
- 7:03Speaker 2: a 5 stelle. Mandate questa puntata al vostro amico che
- 7:07Speaker 2: si fida ciecamente della calcolatrice e continuate a seguirci per
- 7:11Speaker 2: non perdere i prossimi viaggi ai confini della logica. Ci
- 7:14Speaker 2: sentiamo alla prossima puntata tra due giorni.