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¹⁸, 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. Bis 2011 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⁶³-1 fortgesetzt werden, bis zur größten positiven Zahl, die auf 64-Bit-Systemen dargestellt werden kann und die ~ 9,22.. * 10¹⁸ entspricht.

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. Dorian Goldfeld bezeichnete sie sogar als wichtigstes ungelöstes Problem der diophantischen Analysis.

Weblinks

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