It's called experimental mathematics. It's gathering data about known structures to make conjectures about all structures satisfying certain properties.
Not to mention that, even outside of experimental math, there are plenty of pain-in-the-ass calculations that computer algebra systems make so much easier.
Are you suggesting these as tools for mathematicians? Now what is supposed to happen? They have to find problems for these tools? It should be the other way around...