ABC@Home

ABC@Home ist ein Projekt für verteiltes Rechnen des Mathematischen Instituts der Universität Leiden. Um die abc-Treffer unter allen Tripeln teilerfremder natürlicher Zahlen bis $10^{18}$, bei denen die dritte Zahl die Summe der beiden anderen Zahlen ist, zu finden, wird auf mehreren tausend privaten und institutionellen Computern die ungenutzte Rechenleistung verwendet: ABC@home läuft automatisch mittels der BOINC-Plattform im Hintergrund. Gegenwärtig (November 2011) läuft oder lief die Applikation weltweit auf ca. 112.000 Rechnern in 183 Ländern. Dabei ist das erfolgreichste deutsche Team SETI.Germany als das Team mit der weltweit viertgrößten erzielten Rechenleistung. Nach Erreichen des ursprünglichen Ziels soll die Suche bis $2^{63}$ fortgesetzt werden.

Die Abc-Vermutung ist eine 1985 von Joseph Oesterlé und David Masser aufgestellte mathematische Vermutung, die wegen ihrer Schwierigkeit und mehr noch wegen ihrer Bedeutung als prominenter Nachfolger der gelösten Fermatschen Vermutung gilt (neuer „Heiliger Gral“). Dorian Goldfeld bezeichnete sie sogar als wichtigstes ungelöstes Problem der diophantischen Analysis.

Weblinks

• Webseite des Projekts
• Statistik der Teilnehmer und des erzielten Gesamtcredits