Ramanujan Machine is a project using the computers of volunteers to answer some of these questions (using the BOINC platform). Anybody can participate, please see their website for more information. Related paper: https://arxiv.org/abs/2308.11829