The Ramanujan Machine

website:

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.