> Surely researchers like this have the processing power to run them at home,

Nobody has that power. Certainly not mathematicians.