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.

And while the eventual proof of Fermat's Last Theorem was purely mathematical, [computers][2] were used by many researchers to confirm the conjecture for many cases.


  [1]: https://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_computer
  [2]: https://en.wikipedia.org/wiki/Fermat's_Last_Theorem#Early_modern_breakthroughs