ABC@Home war 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, wurde auf mehreren tausend privaten und institutionellen Computern die ungenutzte Rechenleistung verwendet: ABC@home lief automatisch mittels der BOINC-Plattform im Hintergrund. Bis Stand 2011 lief die Applikation weltweit auf ca. 112.000 Rechnern^[1] in 183 Ländern^[2]. Dabei war das erfolgreichste deutsche Team SETI.Germany als das Team mit der weltweit viertgrößten erzielten Rechenleistung.^[3]

Im Jahr 2011 wurde das Ziel, alle Zahlen bis 10¹⁸ zu untersuchen, erreicht und eine Liste mit 14.482.065 Tripeln veröffentlicht. Anschließend wurde in den Jahren 2015 bis 2018 der Zahlenraum bis 2⁶³ untersucht und weitere 9.345.651 Triples gefunden. Anschließend wurde das Projekt in den Ruhestand versetzt.^[4]

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.^[5]

• Webseite des Projekts

1. ↑ Rechnerstatistik auf boincstats.com (Memento vom 14. November 2011 im Internet Archive), abgerufen am 14. November 2011.
2. ↑ Länderstatistik auf boincstats.com (Memento vom 14. November 2011 im Internet Archive), abgerufen am 14. November 2011.
3. ↑ Teamstatistik auf boincstats.com (Memento vom 14. November 2011 im Internet Archive), abgerufen am 14. November 2011
4. ↑ Webseite des Projekts der Universität Leiden, abgerufen am 18. Januar 2022
5. ↑ The Amazing ABC Conjecture (Memento vom 28. Juni 2013 im Internet Archive) (engl.).