Der Supercomputer Stampede der Universität von Texas Universität von Texas
Eines der schwer fassbaren mathematischen Probleme wurde von drei Informatikern und einem Supercomputer gelöst. Der Beweis für das Boolesche pythagoreische Dreifachproblem liegt in einer 200-Terabyte-Datei vor, was es zum weltweit größten mathematischen Beweis macht. Die Größe der Datei ist hübschErstaunlicherweise ist 1 TB schwer genug, um den Kopf herumzureißen, wenn Sie ein normaler Datenbenutzer sind, geschweige denn 200 von ihnen. Die Lösung wurde in eine 68-Gigabyte-Datei komprimiert, damit sie leichter von der Mathematik-Community geteilt werden kannDiejenigen, die die Datei herunterladen und nachsehen möchten, ob sie die Arbeit überprüfen können, benötigen eine ziemlich ernsthafte Rechenleistung.
Das boolesche pythagoreische Dreifachproblem
Die 200-Terabyte-Datei ist jetzt offiziell der größte computergestützte Proof aller Zeiten. Der bisherige Rekordhalter hat nur 13 Gigabyte. Die Verwendung von Supercomputern zur Erstellung von Proofs für die Kombinatorik ist weit verbreitet. Der 200-Terabyte-Proof löste einen kombinatorischen ProofDas Problem fragt, ob „jede positive ganze Zahl entweder rot oder blau gefärbt werden kann, so dass eine Kombination von drei ganzen Zahlen a, b und c pythagoreisches Dreifach die pythagoreische Gleichung a erfüllen kann2 + b 2 = c 2, wobei keine der ganzen Zahlen dieselbe Farbe hat. “Dies ist eine fast unmögliche Aufgabe für einen einzelnen Menschen, aber mit Hilfe von Supercomputern wird das Problem etwas einfacher.
Zahlentheorie machte die Aufgabe leichter handhabbar
Die Wissenschaftler konnten die Zahlentheorie verwenden, um die Anzahl der Überprüfungen möglicher Kombinationen zu minimieren, die der Computer durchführen musste. Aber selbst mit dieser minimierten Anzahl musste der Computer immer noch mehr als 1 Billion Läufe ausführen. Es dauerte zwei feste Tageder Stampede-Supercomputer, um diese Aufgabe zu erledigen und die 200-Terabyte-Datei zu erstellen. Nach der Erstellung wurde ein separater Computer verwendet, um den Beweis zu überprüfen.
Warum 7.824?
Obwohl der Computer bewiesen hat, dass es möglich ist, die ganzen Zahlen auf mehrere Arten zu färben, hat er die Frage, warum das Farbschema möglich ist, nicht beantwortet. Und noch verwirrender war, dass der Supercomputer nur die Integrale bis zu 7.824 färben konnteIn gewisser Weise hat der Computer sogar noch mehr Fragen aufgeworfen als beantwortet. Warum 7.824? Die Tatsache, dass es am Ende keine soliden „Antworten“ auf das Problem gibt, hat die Leute gefragt, ob das gesamte Projekt überhaupt wirklich mathematisch ist.
Ist die Verwendung von Supercomputern wirklich mathematisch?
Eine allgemein akzeptierte Definition von Mathematik ist, dass Mathematiker das menschliche Verständnis von Mathematik priorisieren sollten, anstatt eine wachsende Liste von Fakten zu sammeln. Um alle Details zu erfahren und sich über den gesamten Prozess zu informieren, lesen Sie den Artikel der Gruppe, der im Online-Bibliothek der Cornell University .
Via : Futurismus , Natur