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.

There's a list of proofs that used computers in this Wikipedia article: [Computer-assisted proof][3]


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
  [3]: https://en.wikipedia.org/wiki/Computer-assisted_proof#Applications