The only thing that computers add is the ability to prove that a number is not rational to a larger number of decimal places than a human working on their own could or any other technique that requires brute force calculation on a large scale.