Matemática e IA (2025)