Bu gizemli sayı, çip devi Intel'e 500 milyon ABD dolarına mal oldu ve acı bir kara tarih bıraktı.
Intel, dünyanın en büyük çip üreticilerinden biridir.Herkesin bildiği gibi, bilgisayarınızın Intel işlemcisini kullanması muhtemeldir.
Intel işlemci mükemmel performansla eş anlamlıdır, ancak Intel'in de dayanılmaz bir geçmişi vardır. Bu olay aynı zamanda gizemli bir sabit ve insanlığı 2.300 yıldan fazla bir süredir rahatsız eden gizemli bir matematiksel varsayımla da ilgilidir.
199 Intel, 4 yıl içinde o dönem piyasadaki en gelişmiş işlemcilerden biri olan Pentium işlemciyi tanıttı. Ama ölmedi.Dünyanın en sert kalkanı en keskin mızrakla karşılaştı - bilgisayarları çılgına çevirebilen bir matematikçi.
Hatalı Pentium işlemci
@wikipedia
Bunu anlamak zor değil çünkü matematikçiler matematik problemleriyle uğraşmak zorunda. Özellikle bir varsayımı nasıl kanıtlayacaklarını bilmedikleri zaman, kaba kuvvet ve kapsamlı yöntemler kullanacaklardır.
Bu süreçte bilgisayar umutsuzluğa sürüklenecek. Gelişmiş bir bilgisayar her göründüğünde, matematikçiler hızlanır ve aç kaplanlar genellikle gelişmiş bilgisayarın etrafını sarar. Kanada'daki Simon Fraser Üniversitesi'nde matematikçi olan Peter Borwein, bir keresinde Science'a, bilgisayarın basit ve tekrarlayan hesaplamalar yapmasına izin vererek bilgisayarın hesaplama gücünün "çöküşün sınırına ulaşacağını" ve hatalar yapmaya başlayacağını söyledi. 1 dakikada kağıt teslim etmesi gereken Yu öğrencileri.
Pentium bu kez matematikçilerin pençesinden kaçmadı. Pentium'un çökmesine neden olan DAN, Brun sabiti adı verilen gizemli bir sabittir.
Brown sabiti asal sayılarla ilgilidir ve ifade çok basittir ve ilkokul öğrencileri de anlayabilir
Peki ya Brown sabiti? İçindeki sayılar neler?
Bu, matematikçileri çılgına çeviren ünlü varsayımdan - ikiz asal sayı varsayımından bahsetmek üzere.
Öklid, "The Elements of Geometry" de sonsuz sayıda asal sayı olduğunu kanıtlamıştır. Matematikçiler ayrıca 1'den itibaren saymaya devam ederseniz, asal sayıların ilk başta daha sık göründüğünü, ancak daha sonra daha nadir hale geldiğini bilir.
Örneğin, iki basamağın% 23'ü asal sayılardır, ancak onlar basamağının yalnızca% 4'ü asal sayı iken, yüzler basamağında asal sayılar% 1'den azdır.
Bununla birlikte, asal sayıların başka bir tuhaf fenomeni daha vardır, yani asal sayıların dağılımı gittikçe daha seyrekleşse de, 3 ile 5 arasındaki 2 ile 41 ve 43 arasındaki fark gibi, ardışık iki asal sayı arasındaki mesafe artmıyor gibi görünmektedir. 2, 101 ve 103 de ikidir ve 10007 ve 10009 da ikidir.
Bu şekilde, 2 ile farklılık gösteren bir çift sürekli asal sayı, ikiz asal sayı olarak da adlandırılır.
100 (sarı alt) ve ikiz asal sayılar (kırmızı) içindeki asal sayılar
2300 yıl önce, Öklid cesurca kararını vermeye başladı.Sonsuz sayıda ikiz asal sayı olacak mı? Böyle olmalı. Sonra, Öklid'in beyin deliğini anmak için herkes buna ikiz asal varsayım dedi.
Bu varsayım aynı zamanda matematikçileri korkutan altın bir matematik kupası haline geldi.
Örneğin, 1912'deki Uluslararası Matematikçiler Konferansı'nda (ICM), Alman matematikçi Edmund Landau, matematik çemberinin o sırada çözülmesinin imkansız bulduğu dört varsayımı öne sürdü.Bunlardan biri ikiz asal varsayımdı. Bu 4 soru daha sonra Landau sorusu olarak adlandırıldı.
Bugün, 100 yıldan fazla bir süre sonra, bu dört Landau sorunu hala varsayımlardır.
Norveçli matematikçi Viggo Brun
@wikipedia
Bununla birlikte, 1919'da, iyi saçlı Norveçli matematikçi Viggo Brun bir atılım yaptı. Brun, sonsuz sayıda ikiz asal sayı olsa bile, karşılıklarının toplamının
Sanki 1/2 + 1/4 sonunda 1'e eşitmiş gibi, sonlu bir değere yakınsar.
Bu sabite Brown sabiti denir.
Kahverengi sabiti sonlu bir değere yakınsar
@wikipedia
Aslında, Brown sabiti matematikçiler için zihinsel bir darbedir. Çünkü Brun, ikiz asalların karşılıklı ve yakınsamalarının farklı olduğunu kanıtlarsa, bu, sonsuz sayıda çift asal çift olduğunu ilan etmeye eşdeğerdir, o zaman ikiz asal varsayımı kanıtlanır ve Öklid çukuru doldurulabilir.
Brown sabitinin varlığı, ikiz asal probleminin henüz kanıtlanmadığı anlamına gelir, ancak şimdi herkes ikiz asalların dağılımının gerçekten seyrek olduğunu biliyor, ancak yine de sonsuz sayıda ikiz asal çifti olup olmadığını bilmiyoruz.
Ayrıca Brun, Brown sabitinin var olduğunu ispatlayabilse de, Pie'nin ondalık noktasından sonraki her basamağı hesaplayamadığımız gibi, onun her basamağını hesaplayamaz. Ancak Pie'den farklı olarak, Brown'ın sabitinin şu ana kadar irrasyonel olup olmadığını bilmiyoruz. Ondalık noktadan sonra birkaç basamak daha hesaplayabilirsek, bunun ne tür bir canavar olduğunu anlayabiliriz, bu yüzden birçok matematikçi Brown sabitini hesaplamaya başladı.
Bilgisayarların ortaya çıkmasıyla matematikçiler bu sorunu çözmek için şiddetli hesaplamalar yapmayı düşündü.
1974'te, ABD Donanması için çalışan iki matematikçi Daniel Shanks ve John Wrench Jr, Brown'ın bilgisayar şiddetiyle hesaplanan sabitini rapor ettiler ve üzgün bilgisayarın 2 milyon asal sayıyı tüketmesine izin verdiler.
İki yıl sonra, Avustralya Ulusal Üniversitesi'nden matematikçi Richard Brent daha da şiddetlendi ve bilgisayardan 224376048 çift asal sayı tüketmesini istedi.Bu asal sayıları kullanarak Brown sabitinin ondalık noktasından sonraki sekizinci sıraya kadar hesapladı ve 1.90216054 aldı.
Bu arada, Google 2011'de Kanada'da Nortel Networks'ün kablosuz patentli teknolojisi için teklif verdiğinde fiyat 1.902.160.540 ABD dolarıydı. Matematikçiler Brent gibi bir savaşçı gördüklerinde, uzun zamandır konuşmamışlardı, bu yüzden Brown'ın değişmezinin hikayesi sakindi. Sonra 90'larda Intel, Mengmengda'daki en güçlü işlemciyi piyasaya sürdü.
ABD, Virginia'daki Lynchburg Koleji'nde matematikçi olan Thomas Nicely, Intel işlemciyi görünce çok heyecanlanmış ve uzun süredir Brown'ın sabitini saymak istemişti. Madencilik için para birimi yok.
Bilgisayarı ölümüne öğütmeyi ve trilyonlara saymasını planlıyor.
Matematikçilerin tümünün bilgisayar katili olduğunu bilerek, bilgisayarın çökmemesini ve sorun yaratmamasını sağlamak için, hesaplamak için iki yöntem kullanarak çifte sigorta da kullandı.
Bu iki yöntem arasındaki fark hemen hemen aynıdır. 1/3 + 1/7 hesaplanırken, 0.33 + 0.14 = 0.47 yöntemini veya 1/3 + 1/7 = 10/21 = 0.48 yöntemini kullanın. Teorik olarak, hesaplanan sonuçlar arasındaki fark büyük olmamalıdır.
Ancak Nicely'nin bu iki yöntemi kullanarak elde ettiği sonuçları karşılaştırdıktan sonra, boşluğun Öklid'in beyninden daha büyük olduğunu buldular.
Eliminasyon yöntemiyle yapılan bir hata ayıklama dalgasından sonra Nicely, sorunun anahtarının iki asal sayı, yani 824633702441 ve 82463702443 olduğunu ve bunların karşılıklı ondalık noktasından sonraki 10. basamağın yanlış hesaplandığını buldu.
Ancak Nicely, bu sorunun bir bilgisayar donanım sorunu mu yoksa bir yazılım sorunu mu olduğundan emin değil, kısacası bu onun sorunu değil. Bu yüzden Intel işlemcinin 486 Tekrar unut gitsin, sonuç 486 Bu doğru.
Dört ay sonra Nicely, hesaplama yapmak için Pentium ile donatılmış diğer iki bilgisayarı kullandı ve sorun yeniden ortaya çıktı.
Açıkçası, bu Intel Pentium ile ilgili bir donanım sorunu. Bu işlemcinin muhtemelen 1 milyar geri sayımdan 1'ini yanlış hesaplayacağını tahmin ediyor. Brown sabitini hesaplamak için bilgisayarın milyarlarca sayının tersini hesaplaması gerekir, bu nedenle hatalar kaçınılmazdır.
Hızlı bir şekilde Intel ile temasa geçti ve neler olup bittiğini görmek için birlikte sayı teorisi ödevi yazmasını istedi, ancak Intel pek hevesli değildi ve Xiao Ming'den dışarı çıkmasını istediler.
Kendini çok suskun hissetti, bu yüzden Kasım ayında olayın nedenleri ve sonuçları hakkında bir e-posta yazdı ve onları grup halinde arkadaşlarına gönderdi.
Bu olay, CNN ve diğer medya tarafından hızla bildirildi. Pentiumun geri sayım sırasında zeka geriliği olayı kamuoyuna açıklandıktan sonra, Intel eski işlemciyi geri çağırmak ve yenisiyle değiştirmek zorunda kaldı.
Daha sonra Intel, Pentium'u ürettiklerinde bu sorunu gerçekten bildiklerini itiraf etti, ancak bir hesaplama dalgasından sonra, 9 milyar kullanıcıdan yalnızca birinin etkileneceğini buldular, bu nedenle başlangıçta hatırlama yoktu. "Yanılmışım ama hala diğerlerinden önce yanıldığımı biliyorum" anlamına gelir.
O zamanlar Intel, Pentium işlemcili bir milyondan fazla bilgisayar satmıştı. 199 17 Ocak 2005'te Intel, bu geri çağırma nedeniyle 475 milyon ABD doları kaybettiklerini açıkladı (mevcut 823 milyon ABD doları, 5.8 milyar yuan, 58 küçük hedefe eşdeğer).
Tarihte Pentium FDIV hatası olarak bilinen bu sorun, Wiki girişine yazılmıştır ve Intel'in herkesin unutmasını istediği kara geçmişlerden biridir.
Öyleyse Pentium Pentium neden yanlış? Sorun, bölünme yaptığı zamandır.
Intel'in trigonometrik fonksiyon tablosuna benzeyen kullanışlı bir hesaplama tablosu olan bir arama tablosu yaptığı ortaya çıktı ve her seferinde bunu yapmak zorunda kalmadan tabloya bakmak daha uygun olabilirdi. Ancak bu arama tablosu 5 veriyi kaçırdı ve bu da bölme yaparken belirli bir hata yapma şansına yol açtı.
İsviçre, Lozan'daki Federal Teknoloji Enstitüsü'nün Şifreleme Algoritma Laboratuvarı'nda profesör olan Arjen Lenstra da Intel'e bir bıçak verdi: "Matematikçiler, sayı teorisinin hesaplamalar için yararlı olduğunu uzun zamandır biliyoruz. İşlemcileri satmadan önce sayı teorisini hesaplamak için iyi bir iş yapın. . "
Bu arada, 2002 yılında, bilinen herhangi bir üniversiteye veya kuruluşa bağlı olmayan Fransız mamut Pascal Sebah, Brown'un sabit-1.902160583104'ü güncelledi.
2013 yılında, ikiz asal sayı varsayımı da büyük bir atılım yaptı. 58 yaşında, Çinli matematikçi Zhang Yitang, ikiz asal sayı varsayımı üzerine önemli bir makale yayınladı ve 70 milyondan az farkla sonsuz sayıda asal sayı çifti olduğunu kanıtladı.
Zhang Yitang
Bir bilgisayardan daha iyi olduğumu nasıl kanıtlayabilirim?
( _ )
Matematik öğretmenleri matematikçilere öğretir, matematikçiler bilgisayarları çılgına çevirebilir, matematik öğretmenlerini çılgına çevirebilirim, bu yüzden bilgisayarlardan daha iyiyim, Q.E.D.
( _ ) > -
( _ )
Kaynak: Bilimi Eve Getirmek
Editör: Mi Lao Mao
