There are many interesting discoveries made by mathematical distributed computing projects.
- The Great Internet Mersenne Prime Search: https://www.mersenne.org/
- ABC@Home: https://en.wikipedia.org/wiki/ABC@Home
- PrimeGrid: https://en.wikipedia.org/wiki/PrimeGrid
- Ramsey@Home: https://boinc.berkeley.edu/wiki/Ramsey@Home
Their discoveries don't have an impact in the same way that theorems do, but from time to time resolving a theorem boils down to computation, and most of the participants are probably interested amateurs.
