IA en matemáticas