The Ramanujan Machine
BOINC VERSION OF https://www.ramanujanmachine.com/
Using algorithms to discover new mathematics
The Ramanujan Machine is a novel way to do mathematics by harnessing your computer power to make new discoveries. The Ramanujan Machine already discovered dozens of new conjectures.