Una macchina che dimostra teoremi può lasciare senza lavoro i matematici? Partendo dall’annuncio di OpenAI sulle equazioni di Navier–Stokes, Lorenzo Pareschi ricorda che fare matematica non significa solo chiudere problemi famosi: restano da formulare le domande, scegliere i modelli e capire che cosa le risposte ci dicono davvero. Nel recente dibattito su intelligenza artificiale e […]L'articolo Oltre la dimostrazione – Intelligenza artificiale e progresso matematico proviene da Maddmaths!.