130 matemáticos firman la Declaración de Leiden: la IA amenaza la autonomía de las matemáticas y el rigor de sus pruebas