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 was proved using a computer.
There's a list of proofs that used computers in this Wikipedia article: Computer-assisted proof
And while the eventual proof of Fermat's Last Theorem was purely mathematical, computers were used by many researchers to confirm the conjecture for many cases.