Computers are sometimes used to solve complex mathematical problems because it's impractical for humans to enumerate all the cases and combinations. Famously, the [Four Color Theorem][1] was proved using a computer.


  [1]: https://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_computer