Yeah you are right five color map theorem was proven before by the method of mathematical induction. They used the same technique to prove the four color theorem but unable to do so.

I'm not sure about the other part. Can you link where you have read that? P.s Appel and Haken were from University of Illinois.