Il recente caso Navier-Stokes riapre il dibattito sul ruolo dell’intelligenza artificiale nella disciplina: che cosa significa fare matematica nell’era dell’intelligenza artificiale? Una dimostrazione formalmente corretta è sufficiente se non produce comprensione e nuova conoscenza? Scopriamo il punto di vista dei filosofi della matematica Silvia De Toffoli e Eamon Duede. [Testo originale in inglese, intitolato After […]L'articolo Il fine, non la fine, della matematica proviene da Maddmaths!.