Leiden Declaration: matemáticos alertam para o impacto da IA na confiabilidade e autonomia da matemática em junho 08, 2026 Inteligência Artificial Notícias de IA +