Conway’in Yaşam Oyunu’nda 3,7 milyar hücrelik 1D uzay gemisi keşfi

• Conway’in Yaşam Oyunu (Conway’s Game of Life) forumunda yaklaşık 3,7 milyar hücre (3.7B) uzunluğunda bir 1D uzay gemisi (1D spaceship) deseni tamamlandı
• Bu desen, 133,076,755,768 jenerasyon dönemlik bir hızla ilerliyor ve başlangıçtaki sınır kutusunun boyutu 3707300605×1 hücre
• Geliştiriciler, ECCA1/ECCA2 sıkıştırılmış inşa kolu (arm), Binary arm, Fuse arm ve Cordership kontrolü gibi dört sistemi birleştirerek öz-çoğaltma, temizlik ve yeniden başlatma süreçlerini uyguladı
• Simülasyonlar Golly ve lifelib ortamlarında doğrulandı; apg(calcyman) tüm periyot doğrulama kodunu depoya ekledi
• Bu buluş, slow salvo tekniği ile devasa desen otomasyon araçları alanındaki ilerlemenin bir göstergesi olarak değerlendirildi

---

1D Uzay Gemisinin Tamamlanmasıyla İlgili Rapor

• Hippo.69, "2c/133076755768" hızında bir uzay gemisi tamamlandığını duyurdu; bu, her periyotta iki hücre hareket etmesi anlamına geliyor
  • y koordinat aralığı yaklaşık \u00b15,537,521,000, maksimum x koordinatı yaklaşık 11,075,626,500
• apg(calcyman), tam simülasyonla deseni çalışır durumda doğruladı ve dönem sayısındaki bir yazım hatasını düzeltti
• Tamamlanmış sürüm, example.mc, example_42168M.mc, example_46000M.mc ve diğer .mc dosyalarıyla paylaşıldı ve Golly’de adım adım oynatılabiliyor

Simülasyon ve Hata Ayıklama Süreci

• İlk hata ayıklamada bir Cordership, ters yönde glider üreterek SoD (Stop of Destruction) hasarı oluşturuyordu
  • "switch far seed" parametresi ayarlanarak bu glider’ın hesaba katılması sağlandı
• Simülasyon, lifelib’in Hashlife optimizasyonunu kullanarak milyonlarca jenerasyonluk sıçramaları hızlı biçimde ilerletti
• BigNum tabanlı bir Lua betiği, Golly’de büyük jenerasyon atlamalarını otomatikleştirirken ecca2 başlangıcı, cordership’in gelişleri gibi ana olaylarda kontrol noktalarını kaydetti

Yapı ve Çalışma Prensibi

• Tüm sistem dört inşa kolundan oluşuyor
  • Fuse arm: blinker tabanlı tek boyutlu sinyal üretimi ve başlatma
  • Binary arm: iki glider kombinasyonuyla bit sinyalini yorumlayıp yapı üreten sistem
  • ECCA1 / ECCA2: sıkıştırılmış komutları yorumlayarak desenleri temizleyen ve bir sonraki jenerasyona hazırlayan çok yüksek yoğunluklu inşa kolu
• ECCA2, son aşamada kalan kalıntıyı kaldırmak için cordership filosunu (corderfleet) fırlatır ve son olarak tek boyutlu duruma (y=0) geri döner
• Tüm süreç, merkezi omurga (spine) boyunca tam simetrik olacak şekilde tasarlandı ve her iki taraf da merkezi eksene göre aynı şekilde çalışıyor

Geliştirme ve İş Birliği

• Proje, calcyman(apg) ile Hippo.69 iş birliğiyle tamamlandı
  • calcyman, başlangıçtaki ilk yarıyı (kol yapıları ve kod temeli) tasarladı
  • Hippo.69 ise sonraki yıllarda kalan temizlik, senkronizasyon ve hata ayıklama çalışmalarını yürüttü
• Forum üyeleri buna "Arrow 1" ya da "Unidimensional Spaceship 1" adını önermiş
• hth3, I6_I6 gibi topluluk üyeleri Golly’de simülasyon denemeleri yaparak kutlama mesajları paylaştı

Teknik Önemi

• Bu uzay gemisi, tek boyutlu hareket eden ilk devasa öz-çoğaltıcı desen olarak, Yaşam Oyunu içindeki hesaplama karmaşıklığının yeni bir seviyesini kanıtlıyor
• slow salvo otomasyonu, ECCA sıkıştırılmış yorumlayıcısı, Cordership kontrolü gibi son teknoloji araçları bir araya getirildi
• Araştırmacılar ileride boyut azaltma ve hız artışı hedefli ek optimizasyonlar planlıyor ve bununla ilgili bir makale yayınlamayı da değerlendiriyor

[GN⁺]

Hacker News görüşü

• İlk başta “aa, ilginçmiş” diyerek okumaya başladım ama Game of Life topluluğunun uzmanlık jargonunun bu kadar fazla olduğunu bilmiyordum
  ECCA1, gpse90 gibi terimler peş peşe gelince sonunda wikiyi birkaç saat okumam gerekecek gibi görünüyor

  • Ücretsiz kitap Conway’s Game of Life: Mathematics and Construction başlangıç için iyi
  • Yılda bir kez falan o foruma göz atıyorum; oraya inanılmaz zaman ve zeka harcayan insanların çokluğu şaşırtıcı
  • Aslında bu, “Game of Life terminolojisi”nden çok cellular automata alanındaki matematik terminolojisi

• Bunun önce basit bir çizgi olarak başlayıp sonra devasa 2D karmaşık bir yapıya patlar gibi dönüşmesi, ardından sayısız nesil geçtikten sonra tekrar 3.7B hücre uzunluğunda bir çizgiye dönmesi hayranlık verici
  Keşke biri bunun içindeki soyutlama birimlerini analiz etse

  • Şu forum gönderisine bakılırsa, yaşayan hücre sayısı çizginin uzunluğuna kıyasla 1/100'den bile az olan seyrek bir yapı bu aslında (Unidimensional spaceship 1)
  • Açıklama sayesinde anladım. İlk başta bunun 1 boyutlu hücresel otomat glider'ı olduğunu sanmıştım

• GoL forumundaki uzun açıklamaları okumak, eşimin benim Zoom iş toplantılarımı dinlerken yaşadığı hissi deneyimlemek gibi. Bu jargon şöleni gerçekten muhteşem

  • Bunun gibi bir şey olsa gerek diye şu videoyu hatırladım
  • Bence bu benzetme, bu yorumun aldığı karmadan çok daha eğlenceli
  • Tek fark şu: Ben anlamasam da eğleniyorum. Eşim ise sadece benim keyif alıp almadığımla ilgileniyor — “Yani o RISC mimarisi ADA-1056 ile uyumlu değil mi? Vay, harika canım!” gibi bir tepki veriyor

• “Aman Tanrım, bu bir Quine!”
  Bitlerin doğrusal dizisi Game of Life tahtası olarak yorumlandığında, kendisini sağa iki piksel kaydırarak kopyalayan bir yapı bu
  Bu, basit çoğaltmadan daha zor ama kendi kodunu 2 piksel ötede basan bir teyp tipi öz-kopyalayıcı olarak görmek çok zarif

  • Aslında bu tür yapıya “spaceship” deniyor. Aynı gün keşfedilen 2 spaceship'ten biri bu. Ama 1D spaceship ilk kez görülüyor
  • Hatta hareket etmek öz-kopyalamaktan daha kolay. Gerçek bir replicator hâlâ bulunmuş değil, gerçi milyonlarca spaceship var

• “Başlangıcı yavaş, o yüzden generation 42168M'e atla” denince, evrene oyuncak gibi davranan varlıkların “13.8B yıl civarında ilginçleşiyor” dediği bir sahne gözümde canlandı

  • Felsefi açıdan bakınca, gerçeklik de karmaşık bir GoL simülasyonu olabilir. Eğer bir simülasyonun içindeysek, bunu fark edebilir miyiz diye düşündürüyor

• Game of Life hakkında iki ilginç açık soru var

  1. Rastgele başlangıç durumlarında davranış nasıldır? Turing-complete olduğu için zeki yaşam bile ortaya çıkabilir. Kaos mu baskın gelir, yoksa zeka mı ortaya çıkar? (ilgili tartışma)
  2. Her türlü dış müdahaleye rağmen varlığını koruyan süper kararlı (superstable) bir yapı olabilir mi? (ilgili soru)
  • İlk soru William Poundstone'un The Recursive Universe (1984) kitabında ele alınıyor. Kitap, öz-kopyalayan makineyi yaşamın tanımı olarak görüyor; daha sonra Andrew J. Wade'in 2010'da yaptığı Gemini bu tanıma uyan ilk başarılı örnek olmuştu.
    Rastgele başlangıç durumlarından yaşam çıkma olasılığı neredeyse sıfır ama yaşamın evrimleşme potansiyeli var
  • Turing-complete olsa da pratikte hesaplama zor ve örüntüler kaos ya da sönüme kayıyor. Bilgiyi taşımak için spaceship gibi karmaşık yapılara ihtiyaç var. Buna karşılık Lenia veya Neural CA gibi varyantlar daha kararlı
  • Rastgele düzenlemeler %50 yoğunlukta homojen gürültüyle dolu olduğundan ilginç yapılar pek oluşmuyor. Küresel yapıların ortaya çıkması için ölçekten bağımsız gürültü ile başlamak gerekiyor
  • Turing-complete olmak zekayı garanti etmez ama sonsuz bir düzlemde sonunda tek bir zeki yaşam formu ortaya çıkıp her yeri kaplayabilir. Ancak birden fazlası oluşursa aralarında yok oluş rekabeti de olabilir
  • Sonsuz düzleme rastgele noktalar eklemeye devam ederseniz, sonunda düşük entropili enerjiyi yüksek entropiye dönüştüren zeki yaşam ortaya çıkacaktır

• Bir zamanlar yaptığım sürekli hareket eden glider denemesi var — glider.gif

  • Gerçekten çok güzel. Temel kuralların görsel ifadesi olan bir sanat eseri gibi

• Bunun için bir glider görselleştirmesi olup olmadığını merak ettim. Zaman eksenini bir boyut olarak görmeyi istemiştim

  • Benim anladığım kadarıyla bu, 2D GoL içinde başlangıcı 1x3.7B hücrelik bir çizgi olan bir yapı sadece
  • Çalıştırmak için Golly yazılımı en iyisi. HashLife algoritması sayesinde hızlı simülasyon yapılabiliyor
  • İlk adımdan sonra artık zaten 1D değil, dolayısıyla böyle bir görselleştirme mümkün değil

• Bu, yalnızca belirli bir aşamada yüksekliği 1 hücre olan bir kutunun içine sığan bir yapı

  • Ben bir GoLtician değilim ama standart kurallarda durma ya da yok olma dışında böyle bir yapı mümkün görünmüyor.
    Yine de bu başlıkta görülen tutku ve özen gerçekten etkileyici

• 1995'te John Conway adlı birinden e-posta almıştım. O zamanlar sadece bir matematik haber grubuna yazdığım bir gönderi yüzündendi ama sonradan onun Conway olduğunu fark ettim
  Şimdi bu inanılmaz GoL dünyasına bakınca, insanlığın bu tür yaratıcı potansiyeli nereye yöneltmesi gerektiğini düşündürüyor