Çözülen matematik sorusunun ispatı 200 terabayt boyutunda olmasına rağmen 68 gigabayt olacak şekilde sıkıştırılmış.
13 gigabaytlık ispat rekorunun sahibi olan matematikçi Ronald Graham, bu tarz problemleri çözmek için bilgisayarlardan yardım almanın oldukça yaygın olduğunu söyledi.
Peki devasa boyutta ispatın oluşmasına sebep olan soru neydi? Problem, her pozitif tam sayının mavi ya da kırmızı olarak boyanmasını ancak Pisagor’un a^2 + b^2 = c^2 denklemini sağlayan a, b ve c sayıların tamamının aynı renkte olmamasını sağlamayı hedefliyor.
Problem aslında çok daha yüksek bir boyuta sahip olabilirmiş fakat matematikçiler, bazı teknik detaylardan faydalanarak bilgisayarın yapacağı işlem sayısını azaltmayı başarmışlar (1 trilyon deneyden tasarruf edilmiş)
Süper bilgisayar (adı Stampede imiş), iki gün boyunca çalışan 800 işlemcinin ardından 200 terabaytlık dosyayı oluşturmuş. Başka bir program da ispatı doğrulamak için kullanılmış.
Matematik Dersi İçin Faydalı Olabilecek Uygulamalar
Kaynak: Dünya Halleri