Odifreddi: l'Intelligenza Artificiale, da Pigmalione ai Nobel 2024
Il podcast di Piergiorgio Odifreddi: Lezioni e Conferenze.
00:00
Dimostrazioni assistite dal calcolatore
Descrive la dimostrazione del teorema dei quattro colori resa possibile dall'uso intensivo del computer.
Play episode from 52:11
Transcript
