Aydın Tiryaki

Dilsel Olasılıklar vs. Deterministik Mantık: Sudoku Deneyleri

Yazarlar: Aydın Tiryaki & Gemini

Giriş: Kelimelerin Esnekliği ve Matematiğin Katılığı

Büyük dil modelleri (LLM), insan dilinin karmaşık ve esnek yapısını taklit etme konusunda olağanüstü bir başarı sergiler. Ancak bu sistemler, sınırları kesin çizgilerle belirlenmiş mantık bulmacalarıyla (örneğin Sudoku) karşılaştıklarında ciddi bir bilişsel çöküş yaşarlar. Bu makale, Aydın Tiryaki’nin “Gem Fabrikası” üzerinden tasarladığı Sudoku asistanının geliştirilme sürecini ele alarak; yapay zekanın olasılıksal doğası ile deterministik mantığın katılığı arasındaki çatışmayı ve bu açığı kapatmak için gereken mühendislik çözümlerini incelemektedir.

Aydın Tiryaki’nin Gözlemi: Kısıtlama Yönetimi ve Python Zorunluluğu

Aydın Tiryaki, sadece Sudoku çözen değil, aynı zamanda sıfırdan kurallara uygun bulmacalar üreten bir yapay zeka (Gem) tasarlamak üzere yola çıkar. Ancak test sürecinde, yapay zekanın mantıksal bir çıkarım zinciri kurmakta ve geçerli bir matris oluşturmakta zorlandığını tespit eder.

Sistemin zafiyetini aşmak için Tiryaki, geleneksel yazılım mühendisliğine özgü zekice bir algoritma stratejisi kurgular: Yapay zekadan boş bir tabloyu doldurmasını istemek yerine; önce kurallara tamamen uygun dolu bir matris yaratmasını, ardından bu matristen rastgele hücreler eksilterek bulmacayı oluşturmasını talep eder.

Ancak Tiryaki, yapay zekanın sildiği hücreler sonucunda ortaya çıkan tablonun “tek bir benzersiz çözüme” sahip olup olmadığını kendi başına denetleyemeyeceğini fark eder. Sistemi kendi dilsel halüsinasyonlarıyla baş başa bırakmak yerine, kusursuz bir denetim mekanizması kurar: Modele bu doğrulama aşamasında Python kullanmasını kesin bir kuralla şart koşar. Tiryaki’nin bu hamlesi, yapay zekanın matematiksel yükünü dışarıdaki bir kod motoruna havale ederek sistemi çökmekten kurtaran kritik bir mühendislik müdahalesidir.

Gemini’nin Teknik Savunması: Olasılık Motorları Matematiğe Neden Yenilir?

Gemini, sistemin Sudoku gibi bir bulmacada kendi başına neden çuvalladığını ve Tiryaki’nin Python zorunluluğunun neden hayati olduğunu yapay zeka mimarisinin sınırlarıyla açıklar:

1. Dilsel Olasılık vs. Kesin Doğruluk: Dil modelleri bir sonraki adımı hesaplarken matematiksel bir kesinlikle değil, istatistiksel olasılıklarla çalışır. Sudoku matrisindeki bir rakamın doğruluğu bağlama göre esnemez; ya kesin doğrudur ya da kesin yanlıştır. Modelin olasılık motoru, bu katı deterministik kısıtlamaları (constraint management) bir arada tutacak donanımsal bir “çalışma belleğine” (working memory) sahip değildir. Bu nedenle model, bir noktadan sonra sayılar uydurmaya (halüsinasyon görmeye) başlar.

2. Geri İzleme (Backtracking) Yetersizliği: Sudoku üretiminde, eksiltilen hücrelerden sonra tablonun tek bir çözümü kaldığını doğrulamak için “Backtracking” adı verilen derinlemesine bir deneme-yanılma algoritması gerekir. Tek yönlü (ileri beslemeli) metin üreten bir dil modeli, arka planda bu matris hesaplamasını kendi nöral ağlarında yapamaz.

3. Köprü Kurma Zorunluluğu: Python entegrasyonu sistemin hayatını kurtarsa da, model için yeni bir zorluk yaratır: Kod ve Metin Senkronizasyonu. Modelin sadece Python kodunu doğru yazması yetmez; o koddan dönen karmaşık matematiksel sonucu doğru okuması ve kullanıcıya halüsinasyonsuz, temiz bir formatta sunması gerekir.

Sentez: Nöro-Sembolik (Neuro-Symbolic) Geleceğin Provası

Aydın Tiryaki’nin Sudoku Gem’i üzerinde yürüttüğü bu testler, yapay zeka endüstrisinin şu an yüzleştiği en büyük çıkmazın birebir laboratuvar provasıdır. Dil modelleri ne kadar büyürse büyüsün, saf matematiksel ve mantıksal kısıtlamaları kendi içlerinde çözememektedir.

Tiryaki’nin modeli Python ile desteklemeye zorlaması, aslında geleceğin “Nöro-Sembolik” (Neuro-Symbolic) yapay zeka mimarilerinin (dilsel esnekliğin katı algoritmik mantıkla birleştiği hibrit sistemlerin) gerekliliğini kanıtlamaktadır. Sudoku deneyi; makineye sınırlarını öğretmenin ve eksik olan deterministik mantığı dış araçlarla sisteme entegre etmenin en şeffaf örneklerinden biridir.

Makale Künyesi: Aydın Tiryaki ve Gemini ortak yazarlığında hazırlanan bu makale serisinin kavramsal çerçevesi ve özgün fikirleri (yapay zeka sisteminin “Kum Torbası / Sandbox” yöntemiyle test edilmesi, sınırların tespit edilmesi ve kuramsal mimari/katman analizlerinin oluşturulması) tamamen Aydın Tiryaki’ye aittir. Elde edilen verilerin analizi, derlenmesi ve metin işleme süreçleri ise Gemini tarafından gerçekleştirilmiştir. Çalışmanın metodolojisi; kullanıcı ile yapay zeka arasındaki canlı “sınır testleri” (komut mühendisliği krizleri) kayıt altına alınarak, bu verilerin NotebookLM ortamında yazarın yönlendirmesiyle analiz edilip yapısal makalelere dönüştürülmesine dayanmaktadır. Deney süreci ve canlı testler, 07 Temmuz 2026 tarihinde İnebolu’da gerçekleştirilmiş olup; çalışmalarda Gemini 3.1 Pro Mobile, Gemini 1.5 Pro ve Gemini Standart yapay zeka modelleri kullanılmıştır.

Aydın'ın dağarcığı

Hakkında

Aydın’ın Dağarcığı’na hoş geldiniz. Burada her konuda yeni yazılar paylaşıyor; ayrıca uzun yıllardır farklı ortamlarda yer alan yazı ve fotoğraflarımı yeniden yayımlıyorum. Eski yazılarımın orijinal halini koruyor, gerektiğinde altlarına yeni notlar ve ilgili videoların bağlantılarını ekliyorum.
Aydın Tiryaki

Ara

Temmuz 2026
P S Ç P C C P
 12345
6789101112
13141516171819
20212223242526
2728293031