“Der längste Mathe-Beweis der Welt” nennt es Spiegel Online. 200 Terabyte lang ist die Berechnung, wieviele natürliche Zahlen sich mit zwei Farben (rot und blau) färben lassen ohne dass es ein einfarbiges pythagoräisches Zahlentripel gibt. (Ein pythagoräisches Zahlentripel ist eine ganzzahlige Lösung der Gleichung a2+b2=c2, zum Beispiel 32+42=52 oder 52+122=132. Wenn man also beispielsweise 3…