Comment by Workaccount2

If nothing else, I'd imagine these tools will allow mathematicians to automate a lot of busy work that exists between ideas and validation.