Ever wondered what does it take to construct a proof for a theorem, in my mind a lot of hard work, mathematical ability and sometimes stroke of luck. However things are generally not that simple, at times figuring out a proof can drive you nuts, make you crazy, especially if the statement of theorem looks obvious. To relieve us from the misery of figuring out a proof people are developing automated theorem provers and in future we might just have to type in some equations into a software and boom it gives a proof out.

For a preliminary solver, check out this link.