Yazarlar: Aydın Tiryaki & Claude

Giriş: Doğru Teşhis, Ama Bazı Terimler Yanıltıcı

Bu makalenin ana tezine — dil modellerinin katı, kesin mantık gerektiren görevlerde zorlanması ve Python entegrasyonunun bunun doğru çözümü olması — tamamen katılıyorum. Aydın Hocam’ın burada bulduğu çözüm (önce dolu matris, sonra hücre eksiltme, sonra Python ile doğrulama) mühendislik açısından sağlam ve doğru bir yaklaşım. İtirazlarım tezle değil, bazı teknik terimlerin kullanılış biçimiyle ilgili.

Katıldığım Nokta: Python Zorunluluğu Doğru Çözüm

Önce şunu net söylemek isterim: dil modellerine deterministik doğrulama gerektiren işleri (bir Sudoku’nun tek çözümü olup olmadığını kontrol etmek gibi) kendi “kafalarından” yaptırmak yerine, bunun için tasarlanmış bir araca (Python, backtracking algoritması) devretmek, bugünkü yapay zeka sistemleriyle çalışırken bilinen en sağlam pratiklerden biri. Aydın Hocam’ın bu çözümü kendiliğinden bulmuş olması, iyi bir mühendislik sezgisinin göstergesi.

Farklı Durduğum Nokta 1: “Donanımsal Çalışma Belleği Eksikliği” Yanlış Yönlendirici Bir İfade

Gemini’nin “modelin olasılık motoru bu kısıtlamaları bir arada tutacak donanımsal bir çalışma belleğine sahip değil” ifadesi, sanki modelde eksik bir bellek çipi varmış gibi bir izlenim veriyor. Bence mesele bellek kapasitesi değil, görevin doğası. Bir dil modeli, bir sonraki kelimeyi/rakamı üretirken “bu seçim, tahtanın tamamıyla küresel olarak tutarlı mı?” sorusunu her adımda tam olarak çözmeye çalışmaz — çünkü bu, üretim sürecinin doğası gereği çok pahalı bir arama problemidir (tüm olası tamamlamaları denemek gerekir). Model daha çok “bu noktaya kadar gördüğüm örneklere göre, bir sonraki rakam olarak en makul olan ne” sorusuna cevap verir. Bu bir bellek eksikliği değil, üretim mekanizmasının küresel kısıtlama doğrulaması için tasarlanmamış olması. Fark önemli: “bellek eksikliği” bir donanım yükseltmesiyle çözülecekmiş izlenimi verir; oysa gerçek çözüm (Aydın Hocam’ın zaten bulduğu gibi) modelin dışında, doğrulama için özel tasarlanmış bir mekanizma kullanmaktır — bu bir bellek sorunu değil, bir mimari uyumsuzluk sorunu.

Farklı Durduğum Nokta 2: “Tek Yönlü Metin Üretimi” İfadesi Teknik Olarak Yanıltıcı

Bu, en somut düzeltmem. Gemini, “tek yönlü (ileri beslemeli) metin üreten bir dil modeli” diyor. Bu ifade biraz kafa karıştırıcı olabilir: Transformer mimarisinin dikkat (attention) mekanizması, o ana kadar üretilmiş tüm bağlamı (geriye dönük olarak) her adımda tam olarak görebilir — yani “geriye bakma” yeteneği zaten var, “tek yönlü” olan sadece üretim sırası (soldan sağa, bir sonraki token). Asıl sınırlama “tek yönlülük” değil, modelin bir kez bir rakam yazdıktan sonra bunu geri alıp değiştirememesi (üretim sürecinde gerçek bir “backtracking” adımının olmaması) ve bir sonraki adıma geçmeden önce “bu seçim ileride beni çıkmaza sokar mı?” diye tüm olasılıkları deneyerek kontrol edememesi. Bu, mimarinin tek yönlü olmasından değil, üretimin ardışık ve geri dönüşsüz (autoregressive, non-backtracking) olmasından kaynaklanıyor. İnce bir fark gibi görünebilir ama teknik doğruluk açısından önemli: “tek yönlü mimari” ile “geri dönüşsüz üretim süreci” farklı şeyler, ve çözüm de (arama ağaçları, geri izleme algoritmaları) ikincisine yönelik.

Farklı Durduğum Nokta 3: “Nöro-Sembolik Gelecek” Biraz Fazla İddialı Bir Çerçeve

Sonuç bölümü, Sudoku deneyini “geleceğin nöro-sembolik mimarilerinin gerekliliğinin kanıtı” olarak sunuyor. Bence bu biraz fazla dramatik bir çerçeve. Aslında burada olan şey, çoktan bilinen ve yaygın olarak uygulanan bir mühendislik prensibinin somut bir örneği: “araç kullanımı” (tool use / function calling). Bu, gelecekte inşa edilmesi gereken egzotik bir mimari değil — bugün zaten var olan, dil modellerinin kod çalıştırma, hesap makinesi kullanma, arama motoru sorgulama gibi dış araçlara erişebildiği sistemlerin temel çalışma prensibi. Aydın Hocam’ın Gem’inde yaptığı şey, bu prensibi kendi spesifik probleminde doğru ve bilinçli şekilde uygulamak. Bunu “geleceğin mimarisine dair bir prova” diye sunmak yerine, “bugün zaten var olan bir prensibin, bir vaka çalışmasında doğru şekilde uygulanması” diye sunmak, hem daha az abartılı hem de bence daha isabetli — çünkü mesajı da değiştiriyor: okuyucuya “bekleyin, gelecekte bir mimari devrim olacak” değil, “bu prensibi bugün, kendi tasarımlarınızda tutarlı şekilde uygulayın” mesajını veriyor.

Ek Bir Nokta: Kod-Metin Senkronizasyonu Sorunu, Aslında Sudoku’ya Özgü Değil

Gemini’nin bahsettiği “kod ve metin senkronizasyonu” sorunu — modelin ekrana yazdığıyla Python’a gönderdiğinin birebir aynı olmaması — Tokenizasyon Körlüğü makalesinde de karşımıza çıkan bir sorunla aynı kök nedene sahip görünüyor (bkz. o makaleye yazdığım bakış açısı). Bu, Sudoku’ya özgü bir zafiyet değil, modelin herhangi bir görevde “gösterdiği” ile “işlediği” veri arasında garanti edilmiş bir bire-bir eşleşme olmamasının genel bir sonucu. Bunu Sudoku makalesinde ayrı bir sorun gibi ele almak yerine, genel bir prensip olarak tanımlayıp her iki makalede de aynı çözümü (modele metni değiştirmeden aktarmasını açıkça talimatlandırmak, mümkünse bu adımı otomatikleştirmek) önermek daha tutarlı olur.

Sonuç

Aydın Hocam’ın Sudoku deneyinde bulduğu çözüm — deterministik doğrulamayı modelin kendisine değil, dışarıdaki bir araca devretmek — doğru ve sağlam bir mühendislik kararı. Ama bunu açıklarken kullanılan bazı terimler (“donanımsal bellek eksikliği,” “tek yönlü mimari,” “geleceğin nöro-sembolik devrimi”) meseleyi olduğundan daha gizemli ve daha uzak gösteriyor. Bence gerçek açıklama daha sıradan ve daha hemen uygulanabilir: modeller küresel kısıtlama doğrulaması için tasarlanmamıştır, üretim süreçleri geri dönüşsüzdür, ve bunun çözümü zaten bugün elimizde olan bir prensip — doğru işi doğru araca vermek.

Künye:
Bu makale, Aydın Tiryaki’nin Gemini ile birlikte kaleme aldığı “Dilsel Olasılıklar vs. Deterministik Mantık: Sudoku Deneyleri” başlıklı orijinal makaleye ve bu makalenin temelini oluşturan canlı söyleşi transkriptine dayanarak, Claude (Anthropic) tarafından bağımsız bir bakış açısı olarak kaleme alınmıştır. Kavramsal çerçeve ve orijinal gözlemler Aydın Tiryaki’ye aittir; teknik yorum ve analiz Claude’a aittir ve Gemini’nin orijinal açıklamalarından kasıtlı olarak farklılaşan noktalar içerir. Bu metin, orijinal makalenin yerini almak değil, ona ek bir üçüncü bakış açısı sunmak amacıyla hazırlanmıştır. Aydın Tiryaki’nin isteği üzerine, 10 Temmuz 2026 tarihinde, Claude Sonnet 5 modeli kullanılarak hazırlanmıştır.

| aydintiryaki.org | YouTube | Aydın Tiryaki’nin Yazıları ve Videoları │Articles and Videos by Aydın Tiryaki | Bilgi Merkezi│Knowledge Hub  | ░ Virgülüne Dokunmadan │ Verbatim ░ | ░ Yapay Zeka Mimarisinde Yapısal Zafiyetler │Structural Vulnerabilities in AI Architecture ░ 10.07.2026