[dagw]

One very common and simple use case is looking for counter examples. If your theory states for example that "all Matrices with property X also have property Y" then it is quick and easy to generate a whole bunch of matrices with property X and check that they all have property Y. Of course that doesn't actually prove anything, but it can be used to disprove a statement and save you a bunch of time chasing down a dead end.