ABC@Home
# ABC@Home

ABC@Home :

| Bereich: | Mathematik |
| - | - |
| Ziel: | Finden von Tripeln für die abc-Vermutung |
| Betreiber: | Math. Institut der Universität Leiden |
| Land: | Niederlande |
| Plattform: | BOINC |
| Website: | https://www.math.leidenuniv.nl/~desmit/abc/index.php?set=1 |
| Projektstatus ||
| Status: | inaktiv |
| Beginn: | Dezember 2006 |
| Ende: | unbekannt |

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^{18},$ 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 in 183 Ländern. Dabei war das erfolgreichste deutsche Team SETI.Germany als das Team mit der weltweit viertgrößten erzielten Rechenleistung.

Im Jahr 2011 wurde das Ziel, alle Zahlen bis $10^{18}$ 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^{63}$ untersucht und weitere 9.345.651 Triples gefunden. Anschließend wurde das Projekt in den Ruhestand versetzt.

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.

