İnsanlık binlerce yıldır matematik yapıyor.
Öklid geometrinin temellerini attı. Hârizmî cebiri sistemleştirdi. Newton ve Leibniz kalkülüsü geliştirdi. Euler, Gauss, Riemann ve Hilbert insan aklının sınırlarını biraz daha ileri taşıdı.
Yöntemler değişti, semboller değişti, matematiğin sınırları genişledi. Fakat değişmeyen bir şey vardı:
Matematiği insan yapıyordu.
Bilgisayarlar geldiğinde bile bu temel gerçek değişmedi. Makineler milyarlarca işlemi insandan hızlı yapabiliyordu ama problemi insan seçiyor, teoremi insan kuruyor, ispatın arkasındaki fikri insan geliştiriyordu.
Makine hesaplıyordu.
İnsan düşünüyordu.
Şimdi bu ayrım ilk kez ciddi biçimde bulanıklaşıyor. Çünkü yapay zekâ artık yalnızca hesap yapmıyor.
Matematik araştırmasının kendisine giriyor.
10 bin yapay zekâ aynı probleme saldırırsa
8 Eylül 2026’da OpenAI dikkat çekici bir çalışma yayımladı.
Yaklaşık 90 yıldır çözülemeyen Navier–Stokes Milenyum Problemi için yapay zekâ tarafından üretilmiş bir çözüm ortaya konuldu.
Navier–Stokes denklemleri suyun, havanın ve diğer akışkanların hareketini açıklıyor. Fakat bu denklemlerin üç boyutlu durumda her zaman düzgün davranıp davranmadığına ilişkin temel matematik problemi onlarca yıldır çözülememişti.
Benim için asıl çarpıcı nokta yalnızca ortaya çıkan sonuç değil, çözümün nasıl arandığı.
OpenAI’ın açıklamasına göre yaklaşık 10 bin yapay zekâ ajanı problem üzerinde eşzamanlı çalıştı. Farklı yollar denendi, ortaya çıkan fikirler gruplar arasında taşındı, umut veren yöntemler geliştirildi. Yaklaşık 88 saat sonra çözüm ortaya çıktı. Ardından kanıtın Lean sistemiyle biçimselleştirilmesi ve doğrulanması 17 saat daha sürdü.
Sonucun matematik dünyasındaki bağımsız değerlendirme süreci devam edecek.
Fakat bir şey şimdiden açık:
Matematik araştırmasının ölçeği değişiyor.
Bir matematikçi bir yöntemi haftalarca deneyebilir. Yolun çıkmaz olduğunu aylar sonra anlayabilir. Yapay zekâ ise binlerce ihtimali aynı anda araştırabilir.
Bu, daha hızlı bir hesap makinesi değildir.
Yeni bir araştırma biçimidir.
Matematik sadece doğru cevabı bulmak mıdır?
Tam burada daha zor bir soru başlıyor.
Matematik tarihi yalnızca çözülmüş problemlerin tarihi değildir. Bir matematikçi bir problemi çözmeye çalışırken yeni bir yöntem keşfedebilir. O yöntem başka teoremlere, hatta yeni matematik alanlarına kapı açabilir.
Matematikte yol da sonuç kadar değerlidir.
Şimdi bir yapay zekânın yüzlerce sayfalık kusursuz bir ispat ürettiğini düşünün.
Başka yapay zekâlar ispatı kontrol ediyor. Biçimsel doğrulama sistemleri matematiksel hata bulunmadığını gösteriyor. Fakat dünyanın en iyi matematikçileri bile ispatın arkasındaki düşünceyi tam olarak kavrayamıyor.
Problem çözülmüş müdür?
Matematik ilerlemiş midir?
Bir şeyin doğru olduğunu bilmek başka şeydir.
Neden doğru olduğunu anlamak başka şeydir.
Gelecekte matematik ilk kez iki ayrı dünyaya ayrılabilir:
İnsanın anlayabildiği matematik ve makinelerin üretebildiği matematik.
Asıl büyük mesele ise bundan sonra başlıyor.
Matematiği biz mi icat ettik?
Felsefenin yüzyıllardır tartıştığı bir soru var:
Matematik insan zihninin icadı mıdır, yoksa evrende zaten var olan bir gerçekliği mi keşfediyoruz?
Eğer matematik insan zihninin geliştirdiği bir dilse yapay zekâ bu dili bizden çok daha ileri taşıyabilir.
Ama matematik keşfedilen bir gerçeklikse önümüzde çok daha sarsıcı bir ihtimal var:
Yapay zekâ, matematik evreninin insan zihninin hiç ulaşamadığı bölgelerini keşfedebilir.
Çünkü insan beyninin biyolojik sınırları var.
Biz üç boyutlu bir dünyada yaşıyoruz. Bazı matematiksel ilişkileri sezgisel olarak kavrayabiliyoruz. Yüzlerce boyutlu yapıları ise ancak semboller ve denklemler üzerinden anlamaya çalışıyoruz.
Yapay zekânın bizim biyolojik sezgilerimize bağlı olması gerekmiyor.
Bugün birbirinden tamamen ayrı gördüğümüz matematik alanları arasında bağlantılar keşfedebilir. Henüz adını koymadığımız yapılar bulabilir. Çözülemez sandığımız bir probleme bakıp bambaşka bir yol gösterebilir.
Hatta bir gün bize şunu söyleyebilir:
“Üç yüz yıldır bu probleme yanlış taraftan bakıyorsunuz.”
O noktada yapay zekâ bizim matematiğimizi daha hızlı yapan bir araç olmaktan çıkar.
Bizim göremediğimiz matematiği gören başka bir zekâya dönüşür.
Matematikçiye ne kalacak?
İlk bakışta insan matematikçinin önemi azalacakmış gibi görünüyor.
Tam tersi de olabilir.
Çünkü cevap üretmenin maliyeti düştükçe başka bir şeyin değeri artacak:
Doğru soruyu sormanın.
Binlerce yapay zekâ milyonlarca ihtimali araştırabiliyorsa geleceğin büyük matematikçisi en hızlı hesap yapan insan olmayabilir. Asıl değer, hangi problemin önemli olduğunu görmekte; birbirinden uzak iki alan arasındaki bağlantıyı sezmekte; makinenin ürettiği binlerce sonuç arasından hangisinin gerçekten önemli olduğunu anlamakta olabilir.
İnsanın rolü cevap üretmekten anlam üretmeye kayabilir.
Çünkü cevap çoğaldıkça soru kıymetlenir.
Ya sınır matematiğin değilse?
Sanayi Devrimi insanın kas gücünü makineye taşıdı.
Bilgisayar devrimi hesaplama gücünü makineye taşıdı.
Yapay zekâ şimdi çok daha derin bir sınıra dokunuyor:
İnsan düşüncesinin sınırına.
İnsanlık binlerce yıldır matematiğin sınırlarını keşfettiğini düşündü.
Ya yanılıyorsak?
Ya Öklid’den Newton’a, Gauss’tan Hilbert’e kadar keşfettiğimiz şey matematiğin sınırları değilse?
Ya bunlar yalnızca insan zihninin ulaşabildiği sınırlar ise?
O sınırların ötesinde, bizim sezgilerimizle kavrayamadığımız devasa bir matematik dünyası bulunabilir.
Yapay zekâ bir gün oraya ulaşırsa bize yalnızca yeni teoremler göstermeyecek.
Bize kendi zihnimizin sınırlarını da gösterecek.
O gün insanlığın önündeki en büyük matematik sorusu bir denklem olmayacak.
Çok daha derin bir soru olacak:
İnsan zihninin hiç ulaşamayacağı bir matematik var mı?
Taşkın Koçak