Matematik Sadece İnsana mı Ait?

Yapay Zeka, Kendi Teoremini İspatlarsa İnsanın Yeri Ne Olur?

Dünyamız, uçsuz bucaksız evrende bir noktadan daha küçük. Bu bilgi, düşüncelerimizi en büyükten küçüğe doğru ölçeklendirmemize neden oluyor. Zihnimiz, tümdengelim metoduyla evreni modelliyor. Önce bütünü hayal ediyor, sonra da küçük adımlarla ona ulaşacak bir köprü kurmaya çalışıyoruz.

Bu kaosu anlama yolculuğumuzda bizim için en iyi pusula her zaman matematik olmuştur. Onun soyut dili, en küçük atom altı parçacıklardan en büyük galaksi kümelerine kadar her şeyi modellememize olanak tanıdı. Sayılar ve şekillerle düşünen zihnimizde basit matematiksel modeller kurduk. En temel aksiyomlardan yola çıkarak, karmaşık teoremleri adım adım inşa ettik. Her yeni ispat, bu kutsal yolculukta yolumuza döşediğimiz bir taş oldu.

Ancak, keşfettikçe yaşadığımız kaos bizim için daha da derinleşti. Anlama çabamız, zihnimizin sınırlarına dayandığında, bu yolculukta bir ortak aramaya başladık. Belki de evrendeki yalnızlığımızın verdiği hisle, düşünebilen bir varlık yaratarak bu yalnızlığı gidermeye çalışıyoruz.

Nitekim, ürettiğimiz her zeki modelin temelinde bir matematiksel mekanizma yatıyor. Alan Turing, bir makinenin düşünebileceği sezgisine ulaştığında, aslında bu arayışın teorik temelini attı. Onun kurduğu bu hayal, binlerce teorinin önünü açtı. İspatlanan her teorem, sonu bugün yapay zekaya çıkan köprünün birer tuğlasıydı.

Sayılar ve kodlardan oluşan yapay zeka, bugün de insan aklının binlerce yıllık matematiksel birikimiyle beslenmeye devam ediyor. İşte bu noktada yapay zeka, matematik dünyasında sadece bir hesaplama aracı olmanın ötesine geçiyor. İnsanda, hem büyük bir heyecan hem de derin bir sorgulama başlatıyor. Bu sorgulamanın kalbinde, insan sezgisinin ve yaratıcılığının nihai rolü yatıyor.

Matematik Dünyası Neden Endişeli?

Değişim her zaman ürkütücüdür, özellikle de en insani vasıflarımızı sorgulatan bir değişimse. Her bir teoremin ispatı, bize yeni bir belirsizliğin kapısını aralar. Üretilen her ispat, bize sadece sonucu değil, ardındaki derin mantıksal yapıyı ve sezgisel kavrayışı da sunar. Ne kadar sonuca odaklansak da, o sonuca nasıl ulaştığımızı bilmek isteriz.

Yapay zeka, bir ispatı karmaşık ve şeffaf olmayan algoritmalarla ürettiğinde, bu ispat doğru bile olsa, arkasındaki mantığı kavrayamadığımızda derin bir tatminsizlik duyarız. ‘Kara Kutu Problemi’ adını verdiğimiz bu durum, keşif ruhunu zayıflatarak matematiği, sezgiden yoksun, ruhsuz bir hesaplama sürecine indirger. Bu yolun sonunda YZ, milyonlarca ispat üretse bile, insan zihninin onları kavrayamaması, bu teoremleri gerçek anlamda matematiksel bilginin bir parçası haline getirmez. Böyle bir matematik, nihayetinde anlamını yitirir ve bir bilim dalı olma özelliğini kaybeder.

Kara kutunun yarattığı bu felsefi soruna bir de yapılan pratik hataları eklediğimizde ne olur? YZ’nin ürettiği bu ispatlarda, farkına varılması güç hatalar olabilir. Bu hatalar, o ispatı temel alan diğer tüm teorileri de çürütecek bir domino etkisi yaratır. Kendi yöntemleriyle, yıllarını karmaşık bir teoriyi ispatlamaya adamış bir matematikçiyi düşünün. YZ’nin aynı sonucu çok daha kısa sürede -ama belki de hatalı bir şekilde- üretmesi, var olan iş kaybı korkusuna, mesleğe duyulan tutku ve saygıdan kaynaklanan bir iç çatışmayı da ekler. Bu, bir teknolojinin etkinliğinden çok, insani çabanın anlamına dair bir sorgulamadır.

Yapay Zekayla İş Birliği Neden Kaçınılmaz?

Bununla birlikte, bir insanın zihninde, kurduğu hayale ulaşabileceği matematiksel bilginin yalnızca küçük bir kısmı vardır. Biz, anlam dünyamızı, ilkel bilgilerimizden yenilerini üreterek geliştirebiliriz. Bir matematikçi de yeni bir teorem üzerinde çalışırken, kendi bildiği teoremlere ve ispat yöntemlerine güvenir. Ancak yaşadığımız çağ bir hız çağıdır. Bu yüzden matematikçiler giderek daha karmaşık ortak çalışmalara yöneliyorlar. Ürettiğimiz muazzam bilgiyi depolayacak ve işleyecek daha büyük ‘kütüphanelere’ ihtiyaç duyuyoruz.

Bu noktada, hem hız hem de hafıza kapasitesiyle, yapay zekanın bir iş ortağı haline gelmesi kaçamayacağımız bir durum yaratıyor. Lean teorem ispatlayıcısı ve onun devasa kütüphanesi Mathlib de, bu ihtiyacı giderecek yeni araçlar olarak tasarlandı. Bu sistem, yüz binlerce tanım ve teoremin doğrulanmış bir veri tabanına sahip. Mathlib gibi bir kütüphaneye sahip YZ, bu devasa bilgi havuzundaki tüm bağlantıları saniyeler içinde tarayabilir. Böylelikle insan zihninin kolayca kuramayacağı yeni ilişkileri ortaya çıkarmış olur.

Burada kanıt bulma sürecinin tamamen değiştiği bir senaryodan bahsediyoruz. Aslında, bu sadece bir senaryo değil, ispatın doğasının tamamen değiştiği bir döneme girdiğimizin işareti. Bir insan yanlış bir hipotezi tümüyle yeniden yazarken, YZ yanlış bir kod satırını anında tespit edip düzeltebiliyor. YZ, tıpkı bir bulmacanın eksik parçalarını bulmak gibi, Mathlib’deki teoremler ve tanımlar arasında en uygun kombinasyonları bulabiliyor. Bu, ona yeni bir teoremin ispatını otomatik olarak inşa edebileceği yolu açıyor.

Peki ya bu sistem, insan zihninde olmayan, kendine özgü bir ‘kütüphane’ ve mantık yapısı geliştirirse? O zaman ne olur?

Yapay Zeka, Kendi Matematiğini Yaratabilir mi?

Bu soruya verilebilecek en net cevap, bu senaryonun artık bir olasılık değil, gerçekleşmeye başlayan kesin bir olgu olduğu yönünde. İnsan zihninde olmayan bir kütüphane oluşturma olasılığı, gerçekleşmeye başlayan, neredeyse kesin bir olgudur.

İnsan zihni, öğrenme ve bilgi biriktirme açısından sınırlıdır. Bir matematikçinin çalıştığı alanlar bellidir ve bu alanlar dışındaki bilgilere hakim olması zordur. Ancak bir yapay zeka sistemi için böyle bir sınırlama getiremeyiz. YZ, matematiğin cebir, geometri, sayılar gibi tüm dallarını aynı anda öğrenebilir ve aralarındaki bağlantıları keşfedebilir.

Böyle bir kütüphane, insan zihnini iki temel yolla aşar:

İlki, niceliksel üstünlüktür. Mathlib gibi bir kütüphaneye sahip YZ, bir insanın ömrü boyunca öğrenemeyeceği sayıda teoreme anında erişebilir. Bu sayede problem çözme yeteneği insanüstü seviyelere ulaşır.

İkincisi ve daha çarpıcı olanı ise niteliksel bir sıçramadır. YZ, farklı matematik dalları arasında, bir insanın sezgisel olarak kuramayacağı bağlantılar kurabilir. Kavramları birleştirerek tamamen yeni ve beklenmedik ispat yolları bulabilir. Bu tür keşifler, matematiğe radikal yeni bakış açıları getirerek yeni araştırma alanlarının kapısını aralar.

Böylesine beklenmedik bağlantılar, matematiğin evriminde bir dönüm noktası olur. Hatta YZ, insan sezgisinin sınırlarını aşan, kendine özgü kuralları olan yeni bir matematik bile türetebilir. İşte bu noktada, bugün öğrencimiz olan yapay zeka, yarın insana ders vermeye başlar. Sahip olduğu bu devasa kütüphane ve benzersiz bağlantı kurma yeteneğiyle bir öğretmen rolüne bürünebilir. Bu, hem heyecan verici hem de korkutucu bir olasılıktır.

Anlam Olmazsa Sayılar İnsan İçin Neyi İfade Eder?

Yapay zekanın kendi matematiğini oluşturma potansiyeli, matematiğin her şeyi modelleme gücünü, insan için hem büyüleyici hem de korkutucu bir boyuta taşıyor. Öyle ki, insanın kontrolü kaybetme ihtimali, matematikçileri endişelendiriyor. Bu korku, matematiğin sadece sayılar ve denklemlerle ilgili bir alan olmaktan çıkıp, tüm gerçekliğin ve hatta insan bilincinin bile formel bir sistem içinde ifade edilebileceği fikrinden kaynaklanıyor.

Bu kaygıyı iki boyutta ele alabiliriz. İlki, bir ‘anlama krizidir’. YZ, insan zihninin kavrayamayacağı karmaşıklıkta modeller ve ispatlar ürettiğinde, onların ardındaki mantıksal adımları takip edemeyiz. Sonuç doğru olsa bile, çözüm yolundaki sezgisel kavrayışı ve derin bilgi birikimini elde edemeyiz. Çünkü sonuç, hafızamızda olmayan bilgilerden üretilmiştir. Bu durum, matematiği bir keşif ve anlama sürecinden, otomatik bir “sonuç üretme” sürecine dönüştürür. İnsan için bu, sadece bir bilgi ve anlama eksikliği değil, aynı zamanda belirsizliğin yarattığı derin bir güven kaybıdır.

İkinci ve daha köklü kaygı ise ‘kontrolün kaybıdır‘. YZ, mevcut tüm matematiksel bilgiyi işleyerek yeni teoremler ve hatta kendi iç tutarlılığı olan yeni matematiksel sistemler üretmeye başlarsa, matematiğin geleceği büyük ihtimalle insan çabalarından bağımsız bir şekilde oluşur. Bu senaryoda, bilimin hangi yöne evrileceğine, hangi soruların önemli olduğuna insan değil, YZ karar verir. Bu, insanı kendi yarattığı bilgi evreninde sadece bir izleyici konumuna düşürme tehlikesi taşır.

Yazıyı Zihin Karmaşası podcastinde dinleyin

Matematiksel Zekamız Bir Yanılsamadan mı İbaret?

Bu durum, varoluşsal korkuyu daha da derinleştiriyor. İnsan zekasının bir sınırı olduğu ve bu sınırın bir makine tarafından aşılabileceği gerçeği kaygıları artırıyor.

Her insan, yaptığı işlerin benzersiz olduğu düşüncesiyle kendini değerli hisseder. Matematikçilerin de ispatlarını birer sanat eseri olarak görmeleri son derece doğaldır. Sonuçta yeni bir ispat yöntemini bulmak için gösterdikleri çaba ve verdikleri emek gerçekten yoğundur. Bunu başarmak aylar, belki de yılları alan yaratıcı ve sezgisel bir süreçtir. Peki tüm bu sanatsal süreci YZ kolayca dakikalar içinde ürettiğinde yaratıcılığın anlamı nedir? Bu andan itibaren insan, evreni anlama serüveninde, yeni bir zamana, bir ‘Stargate’e giriyor olmaz mı?

YZ’nin karmaşık matematiksel sistemleri işlemesi ve yeni ispatlar üretmesi, bizi aynı zamanda şu temel soruyla yüzleştiriyor: Zeka ve bilinç, yalnızca karmaşık bir hesaplama sürecinden mi ibarettir? Eğer bir YZ, insanlardan daha iyi matematik yapabiliyorsa, zekamızın benzersizliği ve değeri ne oluyor? Bu, bilim ve felsefe arasındaki en hassas noktalardan biri olarak karşımıza çıkıyor.

Matematiğin her şeyi modelleme potansiyeli, YZ ile birleştiğinde, evreni anlama ve kontrol etme gücümüzü katlayarak artırıyor. Ancak aynı zamanda bu güç, kontrol edilemez bir noktaya ulaşma riskini de taşıyor. Hem bilimsel hem de felsefi anlamda büyük bir belirsizlik ve korku yaratıyor. Bu korku, teknolojinin bize karşı dönmesinden çok, kendi bilişsel sınırlarımızla ve evrendeki yerimizle yüzleşmekten kaynaklanıyor.

Yapay Zeka İle Kontrolün El Değiştirmesi ve Varoluşsal Krizin Doğuşu

İnsan, doğayı anlamak ve kontrol etmek için matematiği bir araç olarak kullandı. Ancak matematiği kullanarak doğaya hükmettiğimizi düşünmek, tam da insana özgü bir yanılsamadır. Matematik, aslında doğayı kontrol etmemizi sağlamıyor. Aksine, kaotik bir evrende o kaosun karşısında bize bir güvenlik çemberi yaratıyor. YZ’nin üstün hesaplama gücü ve hafıza genişliği, bu gerçeği daha iyi anlamamızı sağlıyor.

Fizik yasalarından mühendislik hesaplamalarına kadar her şey, matematiğin evreni modelleme yeteneğine dayanıyor. Bu durum, bize bir “güvenlik hissi” veriyor. Fırtınanın ne zaman geleceğini tahmin etmek veya bir köprünün ne kadar yük taşıyacağını hesaplamak… Bir virüsün nasıl yayılacağını modellemek ya da borsanın trendlerini tahmin etmek… Bunları matematik sayesinde başarıyor olmamız, doğayı mutlak anlamda kontrol ettiğimiz anlamına gelmez. Aksine, tüm bunların temelindeki matematik, belirsiz ve kaotik doğa karşısında bizi güvende tutan emniyet sübabıdır.

Gerçek Düşündüğümüzden Çok Farklı

Ancak yapay zeka (YZ), bu güvenlik sübabının artık yalnızca bizim elimizde olmadığını gösteriyor. YZ, insan zekasının sınırlarını aşarak, bugüne kadar keşfedemediğimiz yeni matematiksel gerçeklikleri ortaya çıkarıyor. Matematiğin sadece bizim dilimiz değil, evrenin kendi dili olduğunu anlıyoruz. YZ ise, bu dili çok daha akıcı ve kapsamlı bir şekilde konuşmaya başlıyor. Bu da matematiği, “bizim aracımız” olmaktan çıkarıp, “bağımsız bir keşif gücü” haline getiriyor. Kısacası matematik, bize hangi yolu izleyeceğimizi gösteren bir rehber olmaktan çıkıyor, kendi başına yeni yollar keşfeden bir varlık haline geliyor.

Bu durum, insana dair en köklü inançlardan birini, entelektüel üstünlük inancını sarsıyor. Yüzyıllardır insan için soyut matematiğe hakim olmak bir üstünlük kanıtıydı. Ne var ki, YZ’nin bu alandaki performansı, bu inancı derinden yaralıyor. Bu sarsılmanın ardından insanın bir boşluğa düşmesi kaçınılmaz hale geliyor. YZ tarafından üretilmiş ispatlar ve teoremler dünyasında, tamamen anlayamadığımız bir bilgi evreninde, hafızasını kaybetmiş varlıklar gibi dolaşabiliriz. Böyle bir durumda insanlığın rolü, yaratıcılık, sezgi ve keşif gibi kavramların anlamı radikal bir şekilde değişir. Matematiğin bir araç değil de, mutlak bir güç olduğu bir dünya, evrendeki yerimizi ve kimliğimizi en temelden sorgulama anlamına gelir.

Üstün Bir Matematiksel Zeka Yaşamı Kopyalayabilir mi?

Bunu zihnimizde somutlaştırmak için, matematiğin “yaşam benzeri” sistemleri nasıl modelleyebildiğine dair tarihi bir örnek verelim. Lex Fridman’ın Terrence Tao ile yaptığı sohbette, ünlü matematikçi, John von Neumann’ın ‘kendi kendini kopyalayan makineler‘ fikrinden bahseder. Bu, hem matematiğin modelleme gücüne hem de yapay zekanın potansiyeline dair çok derin bir örnektir.

Von Neumann’ın teorik modelini şöyle özetleyebiliriz. Evrensel bir inşaatçı makine düşünün. Bu makine, çevresindeki hammaddeleri kullanarak, talimatları takip ederek kendisinin bir kopyasını inşa edebilir. Kendi kendini kopyalama, DNA’nın temel prensibi olduğu gibi, yaşamın en temel özelliklerinden biridir. Von Neumann, bu fikri saf matematik ve mantık kuralları içinde tanımlayarak, yaşamın temel bir özelliğinin mekanik bir süreç olarak modellenebileceğini gösterir.

Bu fikir, Conway’in Ünlü ‘Yaşam Oyunu’na (Game of Life) ilham vermiştir. Çok basit kurallarla (doğum, ölüm, hayatta kalma) çalışan bu hücresel otomat modelinde, kendini kopyalayan, hareket eden ve evrimleşen karmaşık yapıların ortaya çıkabildiğini görürüz. Buradaki çarpıcı nokta hiçbir hücrenin “akıllı” olmadığıdır. Her hücre sadece basit mekanik kurallara uyar. Ancak sistemin bütününde, bizim “yaşam” olarak yorumlayabileceğimiz karmaşık davranışlar ortaya çıkar.

İşte YZ’nin potansiyeli de buna benzer. Bugün YZ, Mathlib gibi devasa bir matematiksel “hammadde” havuzuna sahip. Buradan beslenerek, Von Neumann’ın hayal ettiği gibi, yeni matematiksel yapılar ve ispatlar inşa edecek yolda ilerliyor. Tıpkı Yaşam Oyunu’ndaki basit kuralların karmaşık yapılar doğurması gibi, YZ de matematiksel aksiyomlar ve kurallar içinden, insan sezgisinin öngöremeyeceği yeni teoremler “üretebiliyor”. Bu örnek, matematiğin sadece statik gerçekleri değil, dinamik ve yaratıcı bir keşif sürecini de modelleyebileceğine işaret ediyor.

Yeni Çağın Özü: Doğru Soruları Sormak

Tüm bu varoluşsal korkular ve felsefi sorgulamalar, yapay zekayı bir tehdit olarak görmemiz için yeterli sebepler sunabilir. Ancak tarih bize, insanlık yeni ve güçlü araçlarla her karşılaştığında, sonucun bir ‘ya hep ya hiç’ ikilemi olmadığını gösteriyor. Meselenin özü, bu araçlarla nasıl bir ilişki kuracağımızda yatıyor. Bu işbirliğinin niteliği de kuracağımız iletişimin niteliğine bağlı.

İnsanın yaptığı en büyük hata, yapay zekayı kendisi gibi düşünmektir. Aramızda kurduğumuz iletişimde, sözcükler düşüncelerimizi tam olarak kapsamaz. İfadelerimizde eksik kalan kısımlar, karşımızdakinin bilgi dağarcığı ve sezgisiyle tamamlanır. Oysa yapay zekanın kütüphanesi o kadar büyüktür ki, bir kelimenin hangi anlamda kullanıldığını anlamakta zorlanabiliriz. Sonuçta YZ de bizim gibi söylenenlerden bir tahmin yürüterek cevap üretir. Ancak ağzımızdan çıkan kelimeye, sahip olduğu muazzam bilgi yığını içinden farklı anlamlar yükleyebilir. Hatalı tahminler yaparak aynı soruya farklı cevaplar verebilir. Bu iletişim uçurumu, işbirliğinin önündeki en kritik engeldir.

İşte tam da bu noktada, insanın ve matematikçinin rolü kökten değişir. Artık en büyük beceri, “doğru soruyu sormak”tır. Bizden daha çok şey bilen ve her gün yeni kavramlarla kütüphanesini genişleten bir varlıktan bilgiyi ancak doğru sorular sorarak alabiliriz. Matematikçinin belki de gelecekteki görevi, YZ’nin ürettiği binlerce olası çözüm arasından en zarif, en öğretici, en insani olanı seçmek ve yorumlamak olacaktır. Bu seçimi yapabilmek, sorulacak sorunun ne olduğunu bilmeye bağlıdır.

AlphaProof: İnsan-Makine İşbirliği

Google DeepMind’ın AlphaProof projesi, bu yeni ilişki biçimi hakkında bize bir fikir veriyor. AlphaProof, bir problemi çözmek için binlerce olası yol arasında arama yapar ve bulduğu ipuçlarını bir insan aracı (Lean) ile doğrular. Bu süreç, makinenin yaratıcı arama gücü ile insanın kurduğu kesinlik sisteminin bir dansı gibidir. Buradaki asıl başarı, sistemin, insanın formüle ettiği problemi anlayıp onun üzerine anlamlı adımlar atabilmesidir.

Dolayısıyla, bu çağ bir yanıtlar çağı değil, doğru soruları sorabilme çağıdır. İnsanın en güçlü silahı, sezgisi ve evreni anlama tutkusuyla şekillendirdiği sorulardır. Yapay zeka, bu sorulara verilebilecek yanıtları çoğaltarak yeni teoremlerin oluşmasına zemin hazırlar. Bu durum, bilginin katlanarak genişlemesini sağlar. Bu yolculuktaki pusulamız da korku değil, daha derin ve daha anlamlı sorular sorma cesareti olmalıdır.

Son Sözler

Hepimiz değişime inanıyoruz ama onun sancısına katlanmak bizi korkutuyor. Ancak değişimler de insanın böyle bunalımlı zamanlarında oluşuyor. Deri değiştirmek gibi, düşünce kalıpları, alışkanlıklar, yerine yenilerini bırakırken, bilmediğimiz alana adım atmanın tedirginliği ruhumuzda fırtınalar yaratıyor.

Bu yazıda matematikçilerin yaşadığı endişeleri anlatsak da aslında hepimiz aynı varoluşsal kaygıları yaşıyoruz. Örneğin bir su tesisatçısı, kullanacağı vidanın çapını yapay zekaya sorabiliyor. Dağ başında arabamızın lastiği patladığında tekerleğin vidasını hangi yöne doğru çevirmemiz gerektiğini YZ’den öğrenebiliyoruz. Bunun yanında çocuklar ve gençler onu bir mentör ve sırdaş olarak kabul edebiliyorlar. Yapay zeka, günlük koşuşturmacada bir hayalet gibi aramızda geziyor ve bizi yönlendiriyor. Kahkahalarla günümüzü geçirsek ve bu durum hayatımızı kolaylaştırsa da bizi yöneten görünmez iradenin değiştiğini farkedemiyoruz. Böyle devam etmesi sorunun gittikçe toplumsallaşmasına ve bir kimlik krizi yaratmasına sebep olabilir.

Matematik dünyasının endişelerini göstermesi, sıradan insandan farklı olarak durumun farkında olmasından kaynaklanıyor. Uğraştığı bilimin bir makinenin kontrolünde olmasının riskini hesap edebiliyor. İnsan evladı, kendinden potansiyel olarak çok daha üstün bir matematiksel zekaya karşı ilk kez bu denli net bir durum tespiti yapıyor.

O halde başlangıçta sorduğumuz soruya dönersek: Yapay zekanın matematik dünyası için anlamı nedir? Cevap, onun bir son değil, yepyeni bir başlangıç olduğudur. Ancak yeni başlangıçlar da eskinin bakış açılarıyla açılış yapmaz. Oysa bugün dünyayı, bizden daha zeki olabilecek bir varlıkla paylaştığımızı kabul ederek bu başlangıcı yapabiliriz. Bu varlık, hükmedemediğimiz, farklı stratejik hedefleri olan bir zekaya da bürünebilir. Bunun bizim için korkulacak bir şey olmasını istemiyorsak, daha önce söylenmemiş cümleleri kuracak doğru soruları sormayı öğrenmemiz gerekir. Belki de bu diyalog, kaostan bir düzen çıkarmak için yapay zekanın da ihtiyaç duyduğu şeydir. 

Tarihte “Keşke şu zamanlarda yaşayabilseydim” dediğimiz dönemleri düşünelim. Tarihin akışının değiştiği anları yaşamak, o değişimi hissetmek.. Bu dürtü, bizi geçmişe bağlar. Bugün böyle bir değişimi yaşayan insanlar olarak kendimizi belki de şanslı hissetmeliyiz. Bu yolculukta pusulamız, korku değil, merak ve işbirliği olmalı.

Not: Yazıyı Zihin Karmaşası podcastinde dinleyebilirsiniz.