L'Unione Matematica Internazionale firma la Dichiarazione di Leiden: cinque rischi che l'IA pone alla disciplina, dalle dimostrazioni inaffidabili al copyright violato, fino alla perdita di autonomia della ricerca. E ai governi: non credete all'hype