There are many interesting discoveries made by mathematical distributed computing projects.
- The Great Internet Mersenne Prime Search: http://www.mersenne.org/https://www.mersenne.org/
- ABC@Home: http://en.wikipedia.org/wiki/ABC@Homehttps://en.wikipedia.org/wiki/ABC@Home
- PrimeGrid: http://en.wikipedia.org/wiki/PrimeGridhttps://en.wikipedia.org/wiki/PrimeGrid
- Ramsey@Home: http://boinc.berkeley.edu/wiki/Ramsey@Homehttps://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.