Generale

Najveći matematički dokaz na svijetu je ogromnih 200 terabajta


Jedan od najneuhvatljivijih matematičkih problema riješila su tri informatičara i superračunalo. Dokaz za problem Booleovih pitagorejskih trojki dolazi u datoteci od 200 terabajta, što ga čini najvećim matematičkim dokazom na svijetu. Veličina datoteke je prilično zapanjujuća, 1TB je dovoljno teško zamatati se ako ste uobičajeni korisnik podataka, a kamoli njih 200. Rješenje je komprimirano u datoteku od 68 gigabajta, tako da ga je lakše podijeliti između matematičke zajednice. Ali onima koji žele preuzeti datoteku i pogledati mogu li provjeriti radnju, trebat će prilično ozbiljna računarska snaga iza njih.

Booleov Pitagorin trostruki problem

Datoteka od 200 terabajta sada je službeno najveći računalno potpomognuti dokaz ikada, dok je prethodni rekorder imao samo 13 gigabajta. Upotreba superračunara za pomoć u stvaranju dokaza za kombinatoriku prilično je česta. Dokaz od 200 terabajta riješio je kombinatorički tip matematičkog problema koji se naziva Booleove pitagorejske trojke. Problem postavlja pitanje može li se „svaki pozitivni cijeli broj bojiti ili crvenom ili plavom bojom, tako da kombinacija tri cjelobrojne vrijednosti a, b i c (pitagorejska trojka) može zadovoljiti pitagorejsku jednadžbu, a 2 + b 2 = c 2, pri čemu nijedna od cijelih brojeva nema istu boju. " To je gotovo nemoguć zadatak za jednog čovjeka, ali kada mu pomognu superračunari, problem postaje malo lakši.

Teorija brojeva učinila je zadatak lakšim za upravljanje

Naučnici su mogli koristiti teoriju brojeva kako bi smanjili broj provjera mogućih kombinacija koje je računar morao obaviti. Ali čak i sa ovim minimiziranim brojem, računar je i dalje morao obaviti više od 1 bilijun pokretanja. Trebala su dva solidna dana da superkompjuter Stampede izvrši ovaj zadatak i proizvede datoteku od 200 terabajta. Jednom proizveden zaseban računar korišten je za provjeru dokaza.

Zašto 7.824?

Iako je računalo dokazalo da je moguće bojiti cijele brojeve na više načina, nije odgovorilo na pitanje zašto je shema bojanja moguća. I još zbunjujuće, superračunalo je otkrilo da je integrale moguće obojiti samo do 7.824. Tako je na neki način računar pokrenuo još više pitanja nego što je odgovorio. Zašto 7.824? Činjenica da na kraju ne postoje čvrsti 'odgovori' na problem natjerala je ljude da se pitaju je li cijeli projekt uopće stvarno matematika?

Da li je korištenje superračunara zaista matematika?

Uobičajena definicija matematike je da matematičari trebaju dati prioritet ljudskom razumijevanju matematike, a ne prikupljati rastuću listu činjenica. Da biste saznali sve detalje i saznali čitav proces, možete pogledati članak grupe koji se nalazi u mrežnoj biblioteci Univerziteta Cornell.


Pogledajte video: NAJTEŽI TEST NA SVIJETU (Septembar 2021).