I mean sort-of? Math is a brach of logic, sure, but the computer has acted like a microscope for math already. We can more easily check our conjectures and see

I mean sort-of? Math is a brach of logic, sure, but the computer has acted like a microscope for math already. We can more easily check our conjectures and see if they hold true. Also, we've been able to communicate better, so that has helped out math as well. Even though math is 'above' us little humans, the day-to-day work of mathematicians has been helped out a lot, even in the small ways of not having to lug your mortal-coil through the library stacks. So, with all this big data, I'd have guessed that we could have seen more edge cases with statistics. Little areas where someone said 'huh that's funny'.