Not in this case but sometimes mathematicians of old did have access to “computers”, ie savants who can do large calculations in their heads easily. Gauss used

Not in this case but sometimes mathematicians of old did have access to “computers”, ie savants who can do large calculations in their heads easily. Gauss used the services of such a person: https://hsm.stackexchange.com/questions/15609/autistic-assistant-of-gauss-used-to-check-primality https://hsm.stackexchange.com/questions/15609/autistic-assis...