Dichiarazione di Leida sull’intelligenza artificiale e la matematica
Questa dichiarazione chiede azioni per affrontare le sfide poste dal utilizzo dell’intelligenza artificiale nella ricerca matematica. È il risultato di un’iniziativa comunitaria ed è approvato dall’Internazionale Unione Matematica (IMU).
Gli sviluppi tecnologici hanno ripetutamente trasformato la pratica della matematica. Le recenti tecnologie di intelligenza artificiale, compresi i metodi simbolici e neurali per la generazione e la formalizzazione della matematica, potrebbero aver già dato inizio a un capitolo significativo di questa lunga storia. Tra i ricercatori, l’intelligenza artificiale ha suscitato un’ampia gamma di reazioni: entusiasmo per il suo potenziale di produrre nuove scoperte; intimidazione per il ritmo degli sviluppi; indifferenza verso questi rapidi cambiamenti; preoccupazione per le implicazioni, sia per la matematica che per la società in generale.
I matematici possono scegliere se e come adottare l’intelligenza artificiale nello svolgimento delle loro ricerche. Hanno anche la responsabilità di garantire il continuo sviluppo della disciplina. Questa Dichiarazione invita i matematici ad esercitare questa responsabilità e fornisce raccomandazioni per individui, istituzioni, governo e industria.
Sebbene adottiamo la prospettiva della ricerca matematica, gran parte di ciò che scriviamo si applica anche ad altri aspetti della matematica. Ciò include il lavoro nelle scienze matematiche più ampie, l’istruzione, il tutoraggio, l’editoria, i finanziamenti, la politica scientifica e l’uso della matematica nel resto del mondo.