Progresso dell'IA ♟️ 1997 Deep Blue: utilizzato per la ricerca a forza bruta delle migliori mosse probabilistiche. Nessun apprendimento. Ha battuto Kasparov. ⚪️ 2016 AlphaGo: le reti neurali hanno appreso tramite auto-gioco e hanno battuto Lee Sedol. La mossa 37 è stata creativa da parte dell'IA. La mossa 78 di Lee era 1 su 10.000 e ha spezzato AlphaGo, e lui ha vinto una partita. Ha perso il torneo. 🧮 2025 LLM: leggono testi matematici e verificano le proprie dimostrazioni e guadagnano medaglie d'oro nei problemi IMO.