The short answer is NO!

What any computer algebra system (CAS) can do is almost all numeric calculations and a limited set of symbolic operations.

If one understands the basic operations involved in an induction, then it can be checked using a CAS. However, if someone expects a CAS to do some original thinking then that person is delusion. A CAS such as Maple is only as learned as the user.

Computers still CAN NOT THINK!