My understanding is the “4-color map” question was answered in a brute force way, and not so much as proof.
I think it was done via computer.
Their job was to prove that the set of test cases they created was complete, and that the computer algorithm exhaustively examined those cases.
There were several small corrections and refinements of the proof in subsequent years.