AI en matemáticas