Yeni 10 durumlu meşgul kunduz Graham sayısını geride bıraktı
Öne çıkanlar
- Yeni 10 durumlu makinenin boş şeritten başlayıp durduğu Coq ortamında aksiyomsuz kanıtlandı.
- Makinenin ürettiği skor hızlı büyüyen hiyerarşide omega artı bir seviyesine ulaşarak Graham sayısını aştı.
- Sistem, BB(8) temel mimarisine yalnızca iki yeni durum ekleyerek ve bir geçişi değiştirerek elde edildi.
Matematik ve teorik bilgisayar bilimi araştırmacıları, 10 durumlu Turing makineleri sınıfında yeni bir rekora imza atan "n1" adlı makineyi duyurdu. Boş şeritten başlayarak durduğu Coq teorem kanıtlayıcısı ile doğrulanan makine, ürettiği birler sayısı bakımından hızlı büyüyen hiyerarşide omega artı bir seviyesine ulaştı. Yeni makinenin ortaya koyduğu toplam skorun, devasa büyüklüğüyle bilinen Graham sayısını kesin bir biçimde geride bıraktığı açıklandı.
Söz konusu makine, 8 durumlu mevcut BB(8) rekorunun temel mimarisine iki yeni durum eklenmesi ve tek bir geçiş kuralının yeniden yönlendirilmesiyle inşa edildi. Sistem, şerit üzerinde dinamik sayaçlar, kilit blokları ve özel bellek boşaltma mekanizmaları kurarak çalışıyor. Çalışma döngüsü boyunca biriken değerlerin üstel biçimde katlanması, makinenin daha önceki 10 durumlu şampiyonun ulaştığı seviyeyi mekanik kanıtlarla aşmasını sağladı.
Araştırmanın tüm adımları Coq 8.20.1 üzerinde çalışan BusyCoq altyapısı kullanılarak hiçbir ek varsayım gerekmeksizin kanıtlandı. Elde edilen alt sınırlar, yalnızca 10 durumlu şampiyonu değil, aynı zamanda BB(11), BB(12) ve BB(13) için daha önce yayımlanan alt sınır değerlerini de geride bıraktı. Hesaplama teorisi uzmanları, 10 durumlu bu makinenin durma probleminin sınırlarını test etmede kayda değer bir eşik oluşturduğunu belirtti.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.