For now. I wonder if we will ever get to the point where the computer starts doing mathematics that we just can't understand. Surely there must be some limit to what we can understand (like how a gorilla will never understand prime numbers, there are probably limits to our intelligence as well).
Mathematics only really matters insofar as humans can understand it.
https://mathstodon.xyz/@logicbot
This bot posts a tautology (always true statement) every day. They aren't very useful. Sampling from all true mathematics is like sampling from all instruction sequences that don't crash. The important part of computer programming isn't finding valid instruction sequences, it's finding the useful ones that do what the customer wants.