Die weltweit größte jemals mathematische Beweis ist eine satte 200TB

Wenn Sie denken, Sie hatte eine harte Zeit ausfüllen von Seiten der Algebra in der Schule, Ersatzteile ein Gedanke für die drei Mathematiker, die nur der weltweit größte jemals veröffentlicht haben zu beweisen. Es dauert bis 200TB Speicherplatz.

Natur berichtet, dass das Team – von der Universitäten von Texas in Austin, Kentucky und Swansea – nutzten freigebiger Computerressourcen, die booleschen Pythagoras zu lösen Problem verdreifacht. Was zum Teufel ist, höre ich Sie schreien? Sieht, als ob Sie daran interessiert sind, bittet es:

Ist es möglich, die ganzen Zahlen entweder rot oder blau zu färben, damit keine pythagoreischen triple von Ganzzahlen a, b, C, Befriedigung eine²+ b²= C² sind alle die gleiche Farbe?

Das Puzzle wurde tatsächlich von dem Mathematiker Ronald Graham in den 1980er Jahren festgelegt, und er bot $100, wer Antwort finden konnte. Das Trio der Forscher haben bereits die Belohnung abgeholt...

Stellt sich heraus, dass die Antwort auf das Rätsel ist: Nr. Aber um diese einfache Schlussfolgerung zu gelangen, musste das Team durch Kombinationen von Zahlen bis hin zu 7.825 arbeiten. (Die Antwort war ja bis 7.824.) Jedoch mit der Zeit Sie 7.825 erreichen, es stellt sich heraus dort sind mehr als 10^2.300 Möglichkeiten, diese Zahlen zu färben. Das Team setzte einige mathematische Tricks zur Vereinfachung der Situation, aber es noch linke 1 Billion Kombinationen zu überprüfen.

Das Team setzte der University of Texas Stampede Supercomputer zur Abwanderung durch alle Kombinationen, Verwendung von 800 Prozessoren im Laufe von zwei Tagen um 200 TB an Daten zu erstellen. (Der bisherige Rekord war eine magere 13GB.)

Und, natürlich, die einfache Antwort: Nr.

Diese Art von Computer-aided Beweise werden immer häufiger in der Mathematik, obwohl es einige Diskussionen gibt darüber ob sie mathematische Beweise im wahrsten Sinne sind. Dennoch können die meisten Mathematiker wahrscheinlich zustimmen, dass die Menge an Daten benötigt, um diese spezielle Lösung zu erreichen einfach zu groß für jeden Menschen an jedem generieren war.