I guess the problem with many Computer Assisted Proofs is that they don't explain "why" something is true, only that something is true. But if that's the best y

I guess the problem with many Computer Assisted Proofs is that they don't explain "why" something is true, only that something is true. But if that's the best you can do, then it's certainly better than nothing. Also, advances in CAPs can have applications outside of pure maths. Finally, CAPs are not common enough - or viable enough in most cases - to make a dent in the practice of pure maths. At least that's the impression I get.