ABC@home is an educational and non-profit distributed computing project finding abc-triples related to the ABC conjecture.
The ABC conjecture involves abc-triples: positive integers a,b,c such that a+b=c, a < b < c, a,b,c have no common divisors and c > rad(abc), the so-called radical of abc. The ABC conjecture says that there are only finitely many a,b,c such that log(c)/log(rad(abc)) > h for any real h > 1. The ABC conjecture is currently one of the greatest open problems in mathematics. If it is proven to be true, a lot of other open problems can be answered directly from it.