معرفی هوش مصنوعی برای حل مسائل ریاضی