Üç bilgisayar bilimcisi, matematikçileri yüzlerce senedir uğraştıran bir muamma olarak bildiğimiz, Boolean Pisagor üçleme sualinin yanıtını içeren ve bir süper bilgisayar kullanan 200 terabaytlık bir dosya oluşturdu. Bu en büyük matematik kanıta eşit geliyor. Süper bilgisayar bu problemi 2 günde çözdü ve 200 terabayt yer tuttu.Yanlış duymadınız, 200 terabayt. Matematikçileri onlarca senedir uğraştıran bilgisayar destekli çözümün tuttuğu miktar bu. Boolean Pisagor üçleme problemi bu bilgisayarla çözüldü. Kanıt 68 gigabaytlık bir dosyaya sıkıştırıldı, böylelikle bu kanıta ihtiyacı olan biri bunu indirebilir, yine oluşturabilir ve gömülü bilgileri doğrulayabilir. Kendi bilgisayarlarında çözmek isterlerse 30.000 işlemci vaktine ihtiyaçları olacak.
Bilgisayar destekli matematik kanıtları ile ilgili kırılan 200 terabaytlık dosya rekorunun evvelki sahibi yalnızca 13 gigabayt yer tutuyordu.
Kanıtın arkasındaki problem
Kaliforniya Üniversitesi, San Diego’da matematikçi olarak çalışan ve bundan evvelki rekorun sahibi olan Ronald Graham, problemlerin çözümünde bilgisayarların sıkça insanlara yardım ettiğini söylüyor. Hem de problemi çözebilen herkese 100 AMERİKA BİRLEŞİK DEVLETLERİ doları öneri etmiş.
Önceden söz edildiği gibi, Boolean Pisagor üçlemesi denilen matematik sualinin çözümü 200 terabaytlık bir yer kaplıyor. Her bir pozitif tamsayı kırmızı veya mavi renkle işaretleniyor ve Pisagor Üçlüsü denilen a, b ve c tamsayılarının bir kombinasyonunu oluşturuyor. Böylelikle a2+ b2 = c2 eşitliğinde üç tamsayının hiç biri aynı renkte olmuyor.
Bilgisayar çalışma vakiti
Değişik kombinasyonlarda renkli tamsayılar kullanmanın kabul edilen pek çok metodu varsa da, bilim insanları sayılar kuramındaki tekniklerin ve simetrileri kendi avantajları için kullanmış ve bilgisayarın yapmak zorunda olduğu kontrollerin sayısını düşürmüş. Bu adımda bilgisayarın yürüttüğü çalışma sayısı takriben 1 trilyona indirilmiş.
İki gün ve 800 adet paralel olarak koşturulan işlemci ile, Teksas Üniversitesi’ndeki Stampede süper bilgisayarı 200 terabaytlık veriyi oluşturdu. Oluşan kanıtı doğrulamak için başka bir bilgisayar programı kullanıldı.
Ünlü Boolean üçleme problemini çözmüşse de, rekor kıran dosyada hâlâ neden renk şemasının olası olacağına ait bir izah bulunmuyor.
Kanıta göre tamsayıları bir hayli şekilde renklendirmek olası, ancak yalnızca 7.824 sayısına kadar olabileceği belirtiliyor. Bundan sonra renklendirme olası olmuyor. Neden 7.825’te bir kesim noktası var? Neden bunların öncesinde renklendirme oluyorr?
Araştırma ekibinin belirtileri Cornell Üniversitesi çevrimiçi kütüphanesinde meraklısını bekliyor
Bilgisayar destekli matematik kanıtları ile ilgili kırılan 200 terabaytlık dosya rekorunun evvelki sahibi yalnızca 13 gigabayt yer tutuyordu.
Kanıtın arkasındaki problem
Kaliforniya Üniversitesi, San Diego’da matematikçi olarak çalışan ve bundan evvelki rekorun sahibi olan Ronald Graham, problemlerin çözümünde bilgisayarların sıkça insanlara yardım ettiğini söylüyor. Hem de problemi çözebilen herkese 100 AMERİKA BİRLEŞİK DEVLETLERİ doları öneri etmiş.
Önceden söz edildiği gibi, Boolean Pisagor üçlemesi denilen matematik sualinin çözümü 200 terabaytlık bir yer kaplıyor. Her bir pozitif tamsayı kırmızı veya mavi renkle işaretleniyor ve Pisagor Üçlüsü denilen a, b ve c tamsayılarının bir kombinasyonunu oluşturuyor. Böylelikle a2+ b2 = c2 eşitliğinde üç tamsayının hiç biri aynı renkte olmuyor.
Bilgisayar çalışma vakiti
Değişik kombinasyonlarda renkli tamsayılar kullanmanın kabul edilen pek çok metodu varsa da, bilim insanları sayılar kuramındaki tekniklerin ve simetrileri kendi avantajları için kullanmış ve bilgisayarın yapmak zorunda olduğu kontrollerin sayısını düşürmüş. Bu adımda bilgisayarın yürüttüğü çalışma sayısı takriben 1 trilyona indirilmiş.
İki gün ve 800 adet paralel olarak koşturulan işlemci ile, Teksas Üniversitesi’ndeki Stampede süper bilgisayarı 200 terabaytlık veriyi oluşturdu. Oluşan kanıtı doğrulamak için başka bir bilgisayar programı kullanıldı.
Ünlü Boolean üçleme problemini çözmüşse de, rekor kıran dosyada hâlâ neden renk şemasının olası olacağına ait bir izah bulunmuyor.
Kanıta göre tamsayıları bir hayli şekilde renklendirmek olası, ancak yalnızca 7.824 sayısına kadar olabileceği belirtiliyor. Bundan sonra renklendirme olası olmuyor. Neden 7.825’te bir kesim noktası var? Neden bunların öncesinde renklendirme oluyorr?
Araştırma ekibinin belirtileri Cornell Üniversitesi çevrimiçi kütüphanesinde meraklısını bekliyor
Yorumlar
Yorum Gönder