Las IA se dedican a las matemáticas