An der University of Texas hat ein Supercomputer das mit 200 Terabyte Daten bislang grösste mathematische Problem gelöst: Laut Engadget geht es um ein sogenanntes pythagoreische Tripel, die Aufgabe enthält mehr als eine Billion mögliche Kombinationen. Der bisherige Rekordhalter lag bei 13 Gigabyte, dasselbe Problem konnte ein Jahr später per Hand gelöst werden.
Im aktuellen Fall dürfte das eher unwahrscheinlich sein, wie Nature berichtet: "Ein Mensch könnte den Lösungsweg in seinem ganzen Leben nicht durchlesen". Wer sich dafür interessiert, kann eine auf 68 Gigabyte verkürzte Version der Computereingabe herunterladen – und muss mit einer Rechenzeit von über 30.000 Stunden leben.
Computergestützte mathematische Beweise sind laut Nature mittlerweile an der Tagesordnung, auch wenn sich die Begeisterung dafür in Grenzen hält. Denn die Forscher können nicht im Detail nachvollziehen, wie der Rechner zu seiner Lösung kommt.
