Bir Yapay Zekâ Gılgamış’ı Rüyasında Görürse Mitoloji Başlar mı?

Bir Yapay Zekâ Gılgamış’ı Rüyasında Görürse Mitoloji Başlar mı?

Bir gün bir üretken zekâ modeline Sümer tabletlerini, Avesta yankılarını, Şehname’nin kahraman gölgelerini ve birkaç bin yıllık insan korkusunu yüklediğimizi düşünelim. Sonra ona soralım: Bize yepyeni, tutarlı, derin ve yaşanabilir bir mitoloji yaz. Model birkaç saniye susar, fanlar döner, parametreler kıpırdar ve ekrana bir tufan tanrısı, bir yarı-ölümsüz çoban, yıldızlardan düşmüş bakır bir kuş ve unutulmuş bir yeraltı yemini gelir. Peki bu metin yalnızca iyi taklit midir, yoksa insanlığın yeni mit ocaklarından biri mi yanmıştır?

Turing Testi burada ilginç ama yetersiz bir kapıdır. Bir model, karşımızdaki kişinin insan mı makine mi olduğunu ayırt edemeyeceğimiz kadar ikna edici konuşabilir. Fakat mitoloji, sadece konuşma değildir; kolektif bir rüya makinesidir. Turing Testi, maskenin inandırıcılığını ölçer. Mitoloji ise maskeyi takan toplumun o maskeyle gerçekten titreyip titremediğini sorar.

Bir Avuç Kural, Sonsuz Evren: Turing Tamlığın Baş Döndüren Sırrı

Bir Avuç Kural, Sonsuz Evren: Turing Tamlığın Baş Döndüren Sırrı

Bir programlama dilinin Turing tam olması, ilk bakışta teknik bir rozet gibi görünür: kutuya yapıştırılmış küçük bir etiket, mühendislerin birbirine başıyla selam verdiği kuru bir ayrıntı. Oysa mesele bundan çok daha kışkırtıcıdır. Çünkü Turing tamlık şunu söyler: Eğer yeterince zaman ve bellek verilirse, bu sistem evrende hesaplanabilir olan her şeyi hesaplayabilir. Bir avuç kural, sonsuz çeşitlilikte davranış üretebilir. Bu, bilgisayar biliminin içinden felsefenin kalbine açılan gizli bir kapıdır.

Basitlikten Sonsuzluğa Açılan Kapı

Turing tam bir sistem için ihtiyacımız olan şeyler şaşırtıcı derecede mütevazıdır: koşullu dallanma, bellek, tekrar edebilme yeteneği. Yani sistem, geçmişte ne yaptığını bir şekilde tutabilmeli, duruma göre farklı davranabilmeli ve aynı işlemi defalarca uygulayabilmelidir. Hepsi bu kadar. Fakat bu küçük araç takımıyla satranç motoru, web tarayıcısı, yapay zekâ modeli, muhasebe yazılımı, simülasyon ve hatta başka bir bilgisayarın taklidi üretilebilir. Buradaki ders açıktır: Güç, karmaşık kurallarda değil; kuralların doğru biçimde birleşebilmesindedir.

Bilgisayarların Kehanet Duvarı: Turing’in ‘Biter mi Bitmez mi?’ Laneti

Bir program yazdığınızı düşünün. Düğmeye basıyorsunuz ve makine çalışmaya başlıyor. Ekranda imleç yanıp sönüyor. Kahveniz bitiyor, gün kararıyor, sabrınız çatlıyor. Soru basit gibi görünür: Bu program bir gün duracak mı, yoksa sonsuza kadar dönüp duran dijital bir hamster tekerleğine mi mahkûm? İşte Alan Turing’in meşhur Durma Problemi, yani Halting Problem, tam bu sorunun kalbine hançer gibi saplanır: Her programın, her girdide durup durmayacağını önceden söyleyen genel bir algoritma yazılamaz.

Bu cümle ilk bakışta karamsar bir yazılımcı atasözü gibi gelebilir. “Tabii canım, bazı kodlar karmaşıktır.” Hayır, mesele karmaşıklık değil; mesele ilkesel imkânsızlıktır. Turing bize sadece bazı işleri zor yaptığımızı değil, bazı işlerin doğası gereği yapılamayacağını gösterdi. Bilgisayar biliminin en sarsıcı dersi budur: Her şey hesaplanabilir değildir.

Hücrelerin İçindeki Sessiz Bilgisayar: DNA Gerçekten Bir Turing Makinesi mi?

Bir hücrenin içine bakmak, minyatür bir fabrikanın kapısından içeri girmek gibidir; ama bu fabrika çekiçle değil, sembollerle çalışır. DNA dediğimiz çift sarmal, çoğu zaman romantik bir yaşam şifresi olarak anlatılır. Oysa daha serinkanlı bakarsak karşımızda dört harfli bir alfabe vardır: A, T, G ve C. Bu harfler sıralanır, okunur, kopyalanır, kesilir, onarılır, bazen de yanlış yazılır. Yani biyoloji, bir noktadan sonra kimya olmaktan çıkmaz; fakat kimyanın üstünde tuhaf bir bilgi işlem katmanı belirir.

Turing makinesi, teorik bilgisayar biliminin en yalın ama en güçlü hayaletidir. Sonsuz bir şerit, bu şerit üzerinde semboller, sembolleri okuyup yazan bir kafa ve hangi durumda ne yapılacağını söyleyen kurallar. Şimdi bu soyut makineyi hücreye yaklaştıralım. DNA şerit, enzimler okuma-yazma kafası, gen düzenleyici ağlar ise geçiş kuralları gibi davranır. Ribozomlar, RNA mesajlarını okuyarak aminoasit dizileri üretir; sanki biyolojik bir derleyici, nükleotid kodunu protein programlarına çevirir.

Her Şeyi Söyleyen Makine: Turing Tamlığı Dilin Tanrısı mı, Tuzak mı?

Turing tamlığı, bilgisayar biliminin kulağa büyü gibi gelen ama aslında son derece disiplinli bir kavramıdır: Bir sistem, yeterli zaman ve bellek verildiğinde, başka herhangi bir Turing tam sistemin hesaplayabildiği her şeyi hesaplayabiliyorsa Turing tamdır. Basitçe söyleyelim: Eğer bir dilde koşul kurabiliyor, tekrar yapabiliyor ve belleği yönetebiliyorsanız, elinizde küçük bir evren simülatörü olabilir. Fakat burada ilk tuzak başlar: Her şeyi hesaplayabilmek, her şeyi kolayca, hızlıca veya anlamlı biçimde ifade edebilmek demek değildir.

Bir programlama dili düşünün. Python, JavaScript, C, hatta teorik olarak bazı çok sade oyuncak diller bile Turing tamdır. Bu, onların aynı hesaplama gücüne sahip olduğu anlamına gelir. Ama kimse ciddi bir işletim sistemi çekirdeğini beyaz tahtada tasarlanmış ezoterik bir dille yazmak istemez. Çünkü ifade gücü ile ifade konforu aynı şey değildir. Bir dilin yapabilecekleri kadar, nasıl yaptırdığı da önemlidir. Turing tamlığı, motorun teorik beygir gücüdür; direksiyonun hissini, frenlerin güvenini, yolculuğun şiirini anlatmaz.