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-assis...