[dekhn]

I use mathematica to do engineering, not math. But there are definitely people who do recreational mathematics with computers, and some of them have shown things that can't be done with pencil and paper. The proof for the four color theorem is a nice example of this. Computers are useful tools for doing things we can't execute quickly by hand, or cleverly approximate/solve through more elegant methods.