ABC@home

From BOINC

ABC@home

Institution	Mathematical Institute of Leiden University and Kennislink
Status	Active
Official Launch	21-11-2006
Platforms	Mac OS X, Linux/x86, Mac OS X (PowerPC), powerpc-linux-gnu, Windows, Windows/x64, Mac OS X 64-bit, Linux/x64
Web Site	http://abcathome.com/

Search for '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), where rad(n) is the product of the distinct prime factors of n. 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.