2045'i Beklerken 2026 Geldi: İki Matematikçi Yapay Zekanın Şokunu Anlatıyor

Numero Un kanalında yayımlanan söyleşide Sylvia Serfaty (Sorbonne ve Courant Institute) ile Amaury Hayat (École des Ponts) yıllardır ertelenen bir eşiği anlatıyor: 2019'da 2045 diye fısıldanan yapay zeka olgunluğu , 2025'te 2030'a çekildi ve 2026 Eylül'ünde üç büyük matematik sonucu aynı haftalara yığıldı. İki isim de şaşkınlıklarını gizlemiyor; biri Eylül 2025'te bir meslektaşının 2026 tahminine gülümserken, şimdi aynı tarihin içinde yaşadığını söylüyor. Bu söyleşi bir teknik rapor değil, bir topluluğun ruh halini kaydettiği için değerli ve 3260 kelimelik dökümü bu yüzden tek bir haberden fazlasını taşıyor.

Arka Plan: Sinir Ağları Neden Matematiğin Kaldıracı Oldu

Bugün konuşulan sistemler büyük dil modelleri (LLM) üzerine kurulu ve iki katmanı birleştiriyor: bir yanda sinir ağı mimarisi , diğer yanda sembolik hesap ve akıl yürütme eklentileri. Modeller insanlığın birikmiş matematiğini ingurgite etmiş gibi davranıyor; yani tek bir makine, on bin matematikçinin paralel çalışması kadar olasılık alanını tarayabiliyor. Bu kaldıraç etkisi (leverage) tıpkı dev bir kütüphaneyi bir gecede okuyup sabah sınavına giren dahi öğrenci gibi; fark, öğrencinin sadece ezberlememesi, kalıpları genelleyip yeni yollar önermesi. Söyleşide vurgulanan nokta da bu: gerçek devrim, modelin kaba kuvveti orijinal fikir ile birleştirmesi. İlk katmanda çeviri ve kodlama gibi genel yetenekler, ikinci katmanda formal mantık zincirleri devreye giriyor ve sonuçta makine sadece hesap yapan değil, strateji kuran bir ortağa dönüşüyor.

Matematikte sanı (conjecture) en sade tanımıyla kanıtı bulunamamış doğru olduğuna inanılan önermedir ve onu çürütmenin tek yolu karşı örnek bulmaktır: A doğruyken B'nin yanlış olduğu somut bir durum. Bu iş samanlıkta iğne aramaya benzer; iğne oradadır ama nereye battığını kestirmek zordur. Tam da bu yüzden kaba kuvvet burada kıymetlidir: alan sistematik taranırsa nadir örnek yakalanabilir. Yapay zeka, geniş dil modelini çok sayıda kopya halinde ölçekleyip her birine farklı köşe kurcalattığında bu taramayı insanüstü hızda yapıyor. Serfaty ve Hayat, birim mesafe örneğinde uzmanların ilk kez 'makine gerçekten yeni bir fikir getirdi' dediğini aktarıyor; yani sonuç sadece tüm durumları teker teker denemek değil, geometriyi sayı cisimlerine bağlayan bir bakış açısı.

Karşı Örnek Avı ve Birim Mesafe Şaşırtmacası

Planın düzleminde n nokta varken kaç çift tam olarak birim uzaklık (unit distance) olabilir sorusu 1946'da Paul Erdős 'ten beri açık duruyordu. On yıllardır kare ızgara nın neredeyse en iyi olduğu düşünülüyordu; büyüme n^{1+o(1)} ile neredeyse doğrusal sanılıyordu ve en iyi üst sınır O(n^{4/3}) (Spencer–Szemerédi–Trotter) olarak kalmıştı. Mayıs 2026'da bir OpenAI iç modeli bu inancı yıktı: n^{1+epsilon} veren sonsuz bir aile kurarak polinomsal iyileşme gösterdi. Kanıt, elemanter görünen bir geometri sorusuna cebirsel sayı teorisi nden sofistike araçlar taşıdığı için şaşırtıcı bulundu. Tim Gowers 'yapay zekada kilometre taşı' derken, Noga Alon her kombinatoryal geometri çalışanının bu soruyu düşündüğünü hatırlatıyor; Arul Shankar ise modelin sadece yardımcı olmanın ötesine geçip özgün bir fikri baştan sona taşıdığını vurguluyor. Bu anlatıyı dış doğrulama da güçlendiriyor: önde gelen matematikçilerin eşlik yazısı kanıtı insan diline çevirdi ve Lead Math dergisine layık bulunacak nitelikte diye tanımlandı.

Nasıl oldu? Özette fikir net: büyüklüğü 1 olan cebirsel sayılardan geniş bir küme kur, sonra bunu CM alanı (karmaşık çarpım alanı — her gömülmede mutlak değeri 1 kalan sayı cismi) içinde sınırlı pencerede farklar olarak yerleştir. Pigeonhole (güvercin yuvası) ilkesi ve Gold–Shafarevich tipi sınıf alanı kulesi (sınıf sayısı kontrollü, kök diskriminantı sınırlı) ile derece büyütülürken pencere küçültülmüyor. Analoji basit: tıpkı sonsuz katlı bir apartmanda her katı aynı büyüklükte tutarken daire sayısını artırmak gibi, diskriminantı sınırlı tutan kule, kök diskriminant şişmeden nokta sayısını şişiriyor. Üç satırlık karşı örnek yazıldığında herkes kolayca kontrol edebiliyor; zor olan o üç satırı bulmak. Bu da yeni doğrulama düzeninin habercisi: kanıtlar artık sadece metin değil, Lean gibi işlevsel dillerde derlenen nesneler olarak paylaşılıyor.

Jacobienne Duvarı: 1939'dan 2026'ya

Jacobienne sanısı (Keller, 1939) şunu sorar: karmaşık uzayda C^n -> C^n tipinde her noktasında Jacobien determinantı sıfır olmayan sabit bir polinom dönüşüm mutlaka tersinir midir? Üç boyutta cevap 19 Temmuz 2026'da L. Alpöge tarafından hayır olarak verildi: det J = -2 olan explicit bir harita, üç farklı noktayı aynı görüntüye gönderiyordu. Bir gün sonra Gallagher her d >= 3 derecesi için sonsuz aile üretti, 23 Temmuz'da Speyer mekanizmayı adlandırdı: teğet süpürme (tangent sweep) . Fikir klasik projektif dualiteye dayanıyor; bir düzlem eğrisinin teğet doğruları süpürülünce doğal olarak çok-birebir oluyor, sonra monomial bükmelerle Jacobian çarpanı iptal ediliyor. Bedel, dallanmanın sonsuza itilmesi: harita her yerde dallanmasız ama proper değil , enjektiflik sonsuzda kayboluyor. Clemson'dan Shuhong Gao ve ekibi bunu genelleştirip her n > 2 boyut ve keyfi büyük geometrik derece için örnekler kurdu ve Lean 4 ile bağımsız doğrulama (21514514) yayımlandı. Yani 87 yıllık duvar tek bir tuğla ile değil, sistematik bir örüntüyle yıkıldı.

Milenyumun Kalbi: Navier–Stokes'ta Tekillik

Navier–Stokes denklemleri 19. yüzyılda Navier ve Stokes 'un akışkanları sürekli ortam sayan F=ma formalizmi olarak doğdu; uçak tasarımından kan dolaşımına kadar her yerde kullanılır. 1934'te Jean Leray genelleştirilmiş çözümlerin var olduğunu gösterdi ama düzgünlük (smoothness) açık kaldı; 2000'de Clay Enstitüsü bunu yedi Milenyum Problemi nden biri ilan etti. Soru şuydu: pürüzsüz başlayan üç boyutlu sıkıştırılamaz akış, sonlu zamanda tekillik (blow-up) geliştirip hız sonsuza mı fırlar, yoksa viskozite her şeyi yumuşatır mı? Sayısal simülasyonlar tek başına yetmiyor çünkü bilgisayarın çözünürlüğü sonsuz ile çok büyük arasındaki farkı ayırt edemiyor; bu yüzden teorik kanıt gerekiyor. İnsanlık uzun süre düzenlilik yönünde teori geliştirdi, son on yılda ise 'ispatlayamıyorsak belki de tekillik vardır' fikri güçlendi ve profiller aranmaya başlandı.

8 Eylül 2026'da OpenAI , iç modeliyle varlık ve düzgünlük probleminde C ve D şıklarını kurduğunu duyurdu: duran ve pürüzsüz bir akışkana düzgün bir kuvvet uygulanınca sonlu zamanda tekillik oluşuyor, enerji sonlu kalıyor. Çözüm spagetti gibi uzayan girdap (vortex) : merkez içe spiral yaparken eksende geriliyor, küçülürken hızlanıyor ama enerji korunuyor. Teknik güçlük, ivme, basınç gradyanı, momentum transferi ve viskozitenin aynı anda büyüyüp hassas şekilde sadeleşmesi; dış kuvvet pürüzsüz kalırken hız sınırsız artıyor. OpenAI, 28 Ağustos'tan beri eğitilen ve GPT-6 Astra'dan belirgin biçimde güçlü bir iç modeli 10 bin eş zamanlı ajan ile koştuğunu, 88 saatte yaklaşık 3 milyon ileti ve 130 milyar çıktı jetonu harcandığını ve maliyetin yaklaşık 10 milyon dolar olduğunu paylaştı. Hem analitik yazı hem Lean formalleştirmesi yayımlandı; şirket Milenyum ödülünü talep etmediğini, amacın modelin temposunu göstermek olduğunu vurguladı. Bu, matematiğin en görünür sahnesinde yapay zekanın hızının ilanıydı.

Yarış, Sızıntı İddiası ve Yeni Doğrulama Düzeni

Bu zaferin gölgesinde bir yarış ve sızıntı tartışması da büyüdü. Tristan Buckmaster (NYU) ile Anthropic çalışanı Levent Alpöge , Navier–Stokes'a yakın model denklemlerde tekillik için çalışırken Claude ve ChatGPT kullanıyordu; oturumlarında denemeler ve fikir kırıntıları vardı. Buckmaster 3 Eylül'de ilerlemelerine dair bilginin OpenAI'a ulaştığını öğrendiğini, 1 Eylül'de 'iki Milenyum probleminin çözüldüğü' söylentisini duyan OpenAI'ın tüm açık problemlerde değerlendirmeye giriştiğini ve bir haftadan kısa sürede öne geçtiğini iddia etti. BBC'nin aktardığına göre 130 milyar jeton ve 2 milyon ileti ölçeği o dönemde anlatıldı. OpenAI yanıtında hiçbir kullanıcı verisine erişilmediğini, modelin veriler üzerinden kimliksiz (de-identified) iyileşmiş olma ihtimalinin sıfır olmadığını ama kanıtların belirgin biçimde farklı olduğunu, kesin sonuçların bile aynı olmadığını söyledi. İki tarafın da e-posta yazışmalarını paylaşması, matematiğin 'etik değil sadece doğru mu' diye sorduğu alanı, ürün rekabetinin gölgesine çekti.

Topluluğun tepkisi ölçülü bir sarsıntı oldu. Le Monde 18 Eylül'de 'yapay zekanın matematikçilerde eşi görülmemiş kriz çıkardığını' yazdı; 25 Fields madalyalı açık mektupta yıkıcı etki uyarısı yer aldı, Cédric Villani Radio Classique'de 'kuruma (assèchement)' riskinden söz etti. Öte yandan Terence Tao uzun süredir dengeli bir ses olarak yapay zekanın entegrasyonunu nuanslı biçimde tartışıyor. Söyleşideki iki matematikçi de insani emeği hatırlatıyor: Cordoba–Martinez, Tom Hou ve özellikle Gad Kosma ekibinin Jacobienne'de kurduğu eşdeğer strateji olmasaydı son adım atılamazdı; Buckmaster–Alpöge hattı yıllardır model denklemleri zorlamasaydı girdap fikri olgunlaşmazdı. Yani boşluktan gelen bir mucize değil, insanların son 10 yılda tekilliğe yaklaştığı bir patikada makinenin son adımı hızlandırması söz konusu. Söyleşinin bir diğer kırılma noktası doğrulama : Perelman'ın arXiv'e bırakıp dergiye göndermediği Poincaré günlerinden, Lean'de derlenen otomatik kontrole geçiş. Makine kanıtı Twitter'da 300 sayfalık PDF gibi uçlarda bile hızla ilan edilebiliyor; çünkü derlenen kanıt 'program gibi' kontrol edilebiliyor. Matematiğin iki yargısı — özgünlük ve doğruluk — şimdi farklı hızlarda işliyor ve bu, lisans öğrencisinin 'bir gün ben çözerim' hayalini de yeniden tanımlıyor.