Matematiksel mantık, yapay zekâ doğrulama ve büyük ölçekli sistem tasarımının kesişiminde çalışıyorum. Temel tezim: yapay zekânın artık karar verdiği ortamlar — şehirler, devletler, otonom çok etmenli sistemler — bir denetçinin şirket defterlerini denetlemesi gibi, yapay zekânın ürettiklerini denetleyen bağımsız ve doğrulanabilir bir katmana ihtiyaç duyar.
Altyapım matematiksel mantık ve semantik programlamaya dayanıyor — Gandy tarzı sabit nokta teoremleri, P = L problemi ve biçimsel sistemlerin polinom-hesaplanabilir temsilleri üzerine çalışmalar. Oradan uygulamalı yapay zekâ altyapısına geçtim: büyük dil modellerini biçimsel mantıkla birleştiren güvenilir yapay zekâ yöntemleri ve bu yöntemleri hayata geçiren ENIGMA Axiom doğrulama motoru.
Bugün, yüksek riskli yapay zekâ inşa eden kuruluşlara Dubai'deki IAIC FZCO aracılığıyla danışmanlık veriyorum; ayrıca güvenilir yapay zekâ etrafında araştırma topluluğunu bir araya getiren konferanslar (MathAI, SmartCity, IAIC etkinlikleri) ve yayın girişimleri düzenliyorum.
P = L, Gandy sabit nokta teoreminin polinom analogları, polinom-hesaplanabilir temsiller.
LLM'leri biçimsel mantık sistemleriyle birleştirmek; model çıktılarının biçimsel + olgusal denetimi (ENIGMA Axiom).
Sanal şehirler, dijital ikizler ve şehir ölçeğinde otonom yapay zekâ toplulukları.
Görev tabanlı bilişsel mimariler; kamu verimliliği ve sivil zekâ için yapay zekâ + doğrulanabilir kayıtlar.
Yüksek riskli yapay zekâ inşa eden kuruluşlara danışmanlık veriyorum — faturalar Dubai'deki IAIC FZCO üzerinden.
Danışmanlığı görün & randevu alın →