Well, that's why we have automated proof checking. And again, I don't think humans will be able to solve problems at a commercial scale in the future.

Maybe we'll have some hobbyist dabblers, but any real progress will be done by machines that skip the human.