Cardano (ADA) Kurucusu Hoskinson, OpenAI'ın 88 Saatlik Navier–Stokes İddiasını Değerlendirdi

Hoskinson'dan Yapay Zekânın Matematik Sıçramasına Yorum

Cardano (ADA) kurucusu Charles Hoskinson, 9 Eylül'de yaptığı açıklamada yapay zekânın biçimsel matematik alanında, kendisinin kamuya açık beklentilerinin çok ötesinde ilerlediğini söyledi; ilerlemenin, bu sistemlerin nasıl kullanılacağına dair önceki varsayımlarını hayli aştığını vurguladı. Hoskinson, OpenAI'ın dahili bir sistemin Navier–Stokes Milenyum Ödülü Problemi'ne — matematiğin en ünlü açık sorunlarından birine — çözüm ürettiği iddiasını değerlendirdiği bir YouTube yayınında konuşuyordu. Sergilenen yetenekleri “oldukça çarpıcı” olarak niteleyen kurucu, biçimsel sistemlere dair ilk vizyonunun çok daha mütevazı olduğunu hatırlattı: Bu sistemlerin, matematikçilerden oluşan daha geniş ekiplerin iş birliği yapmasına ve insan eliyle yazılmış kanıtları doğrulamasına olanak tanımasını, kanıtları kendiliğinden üretmesini ise beklemiyordu. “Yapay zekânın bu denli devreye gireceğini hiç öngörmemiştik” diyen Hoskinson, bir kanıtı baştan sona yapay zekânın yazması fikrinin bir zamanlar “oldukça uzak” göründüğünü ekledi. Kurucunun bu alanda doğrudan menfaati bulunuyor — 2021'de Carnegie Mellon Üniversitesi'ne Hoskinson Biçimsel Matematik Merkezi'nin kurulması için 20 milyon dolar bağışlamıştı — ve sözleri, iletişim odaklı yapay zekâ ajanı çalışmalarını ve gizlilik odaklı Midnight yan zincirini kapsayan, Cardano ekosistemindeki daha geniş deneme çizgisini sürdürüyor.

OpenAI'ın 10 Bin Ajanlı Kanıt Girişimi

Tartışmanın merkezindeki iddia, OpenAI'ın 8 Eylül'de yayımladığı kendi araştırma duyurusuyla geldi. Şirket, dahili bir modelin yaklaşık 10 bin ajanı koordine ettiğini ve toplam 88 saatlik çalışmanın ardından önerilen bir çözüm ürettiğini açıkladı; bunun üzerine GPT-6 Astra olarak tanımlanan bir sistem, her adımın makine tarafından doğrulanabilir biçimde kontrol edilmesini sağlayan Lean adlı kanıt asistanında argümanı biçimlendirmek ve denetlemek için 17 saat daha harcadı. Kanıt, başlangıçta düzgün (smooth) ve durgun olan bir akışkanın, düzgün bir dış kuvvet etkisi altında sonlu zamanda bir tekilliğe dönüşebileceğini göstermeye çalışıyor ve OpenAI'ye göre bu, resmî Milenyum Ödülü formülasyonunun C ve D ifadelerini karşılıyor. Dikkat çekici biçimde şirket, buna bağlı 1 milyon dolarlık ödülü takip etmeyi planlamıyor. Tanınma da anında gerçekleşmiyor: Clay Mathematics Institute'un kurallarına göre bir çözümün önce nitelikli bir yayında görünmesi, ardından en az iki yıl dayanması ve küresel matematik camiasından geniş kabul görmesi gerekiyor, ancak ondan problem çözülmüş ilan ediliyor. Clay'in sitesi Navier–Stokes'i hâlâ çözülmemiş olarak sınıflandırıyor; yani OpenAI'ın sonucu şimdilik kabul edilmiş bir çözüm değil, yalnızca iddia edilen bir çözüm olarak duruyor.

Kaynak Tartışması ve Gizlilik Uyarısı

Duyuru ayrıca, benzer bir zorlama yaklaşımıyla ilgili bir Euler denklemi sonucu üzerinde çalışan New York Üniversitesi matematikçisi Tristan Buckmaster ile Anthropic araştırmacısı Levent Alpöge'ü kapsayan bir kaynak tartışmasını tetikledi. Buckmaster, gizli çalışmalarının OpenAI'ın Codex sistemine girip şirketin sonucunu beslemiş olabileceğini sorguladı; ancak suçlama yönünde gitmedi ve “Verilerimizin kullanılıp kullanılmadığını bilmiyorum” dedi. OpenAI, söz konusu çalışmalara erişmediğini ve kanıtın bağımsız geliştirildiğini savunarak, kimlikten arındırılmış ürün kullanım verilerinin modellerini geliştirmiş olma ihtimalini tamamen dışlayamadığını kabul etti. Hoskinson olayı, yayımlanmamış araştırma elinde tutan herkes için bir uyarı olarak çerçeveledi: Notlarını, promptlarını ve araştırma günlüklerini merkezi bulut yapay zekâ hizmetlerine aktaran akademisyenler ve girişimciler, bu fikirlerin kontrolünü tümüyle kaybedebilir. Araştırmacıların, gizli fikri mülkiyetlerini merkezi sağlayıcılara ifşa etmeden güçlü modelleri özel ortamlarda kullanabilmesi gerektiğini savundu — “Fikirleriniz, bu sınır (frontier) modelleriyle bulutta yapay zekâ içinde paylaşırsanız, artık sizin fikirleriniz değildir.” Piyasayı anlık izlemek isteyen okurlar, spot ve vadeli fiyatları Bybit üzerinden canlı takip edebilir.

Biçimsel Doğrulama Blok Zinciriyle Buluşuyor

OpenAI'ın kendi teknik duyurusu ile Clay Mathematics Institute'un yayımlanmış tanınma kuralları da dahil tüm kaydın bizim okumamız şudur: Hikâye, çözülmüş bir problemden çok, bir doğrulama kültürünün bir hız kültürüyle çarpışması üzerine kurulu. Cardano'nun itibarını üzerine inşa ettiği hisse kanıtı (proof-of-stake) dünyası, Lean biçimlendirmesinin temsil ettiği disiplinle aynı temel üzerinde çalışıyor: İddialar yalnızca bağımsız, makine tarafından doğrulanabilir teyitten sonra önem kazanıyor. Uzmanlar makaleyi incelemesini bitirene ve Clay'in çok yıllı kabul penceresi dolana kadar bu, iddia edilmiş bir sonuç olarak kalıyor — ama yaşanan olay, Hoskinson'ın 2021'den bu yana fonladığı biçimsel yöntemler tezini doğruluyor. Yapay zekâ altyapısını kamuya açık biçimde yeniden düşünen bir kurucu için asıl kalıcı çıkarım, gizlilik boyutu olabilir.