OpenAI'ın 10.000 Ajanlı Matematik Kanıtı, Altman'ın Worldcoin'ini (WLD) İtibar Kavgasının Ortasına Attı

10.000 Ajan, 88 Saatlik Bir Kanıt

OpenAI, Salı günü yaptığı açıklamada iç modellerinden birinin Navier-Stokes varlık problemine makine tarafından doğrulanmış bir çözüm ürettiğini duyurdu. Söz konusu problem, her biri Clay Mathematics Institute tarafından 1 milyon dolarla ödüllendirilen yedi Millennium Prize Problem'den (Milenyum Ödülü Problemleri) biri. Kanıt, akışkan denklemlerinin “patlamaya” yani bir noktada akışkanın hızının sonsuza varmasına — fizik kurallarının dışladığı bir durum — izin verdiğini ortaya koyuyor ve her adım, matematiksel argümanları resmî biçimde doğrulayan Lean adlı kanıt asistanı dilinde denetlendi. Açıklama ticaret masamıza ulaştığında ilk yaptığımız kontrol de buydu: kanıt, incelemeye dayanırsa tarihte çözülen yalnızca ikinci Millennium Problem ve yapay zekâya atfedilen ilk problem olacak. Şirkete göre kanıt 88 saatte, GPT-6 Astra'dan belirgin biçimde daha yetenekli olduğunu söyledikleri yeni nesil bir modelin yaklaşık 10.000 paralel kopyasının, yani birbiriyle koordineli çalışan yapay zekâ ajanlarının (AI agents) ortak çalışmasıyla üretildi. Aynı model yakın zaman önce ARC-AGI-3'te yüzde 98,6 puan almış ve daha önce OSWorld 2.0'da yüzde 72,6 skor kaydetmişti. Duyuru, yapay zekâ matematiği açısından görülmemiş bir döneme denk geliyor: günler önce Anthropic, Claude modelinin Fermat'nın Son Teoremi'nin bilgisayarla doğrulanmış bir kanıtını ürettiğini bildirdi; büyük ölçekli ajan konuşlandırmaları da sıradanlaşmış durumda — masamız daha önce OpenAI ajanlarının tek bir koordineli kampanyayla bir Alman wiki'sine 18.000 gönderi bıraktığını izlemişti. Ne var ki akışkanlar dinamiği iddiası hemen insani bir engele takıldı. OpenAI konuyu kamuya açmadan saatler önce, New York Üniversitesi'nden (NYU) matematikçi Tristan Buckmaster dört sayfalık bir bildiri yayımladı: OpenAI'ın Sébastien Bubeck'in, Buckmaster ile Anthropic araştırmacısı Levent Alpöge'nin yayımlanmamış, yakından ilişkili çalışmasından haberdar olduğunu ve duyuru öncesinde ikiliyi itibar konusunda baskıladığını iddia etti. OpenAI, Bubeck ve CEO Sam Altman bu anlatıyı reddediyor; 1 milyon dolarlık cevaba kimin önce ulaştığı meselesi acı bir kavgaya dönüştü.

Buckmaster'ın Açıklaması ve Karşı Söylem

Buckmaster'ın anlatısına göre o ve Alpöge, neredeyse bir yıl boyunca büyük dil modellerini akışkan patlaması kanıtlarına yönlendirdi ve 22 Ağustos itibarıyla elde bir çözüm vardı. 3 Eylül'de, Anthropic'in büyük bir açık problemi çözdüğü söylentileri yayıldığında Buckmaster, OpenAI'daki bir matematikçiye e-posta göndererek projenin kişisel olduğunu ve iki şirkete de bağlı olmadığını vurguladı; gelen yanıt dostaneitti, hatta OpenAI'nin işlem gücü bile teklif edildi. Pazar günü, 6 Eylül'de iki telefon görüşmesi yaşandı. Buckmaster'a göre Bubeck bu görüşmelerde, dahili bir modelin zorlanmış Navier-Stokes probleminin, düzgün zorlama (smooth forcing) yoluyla yaklaşık 100 sayfalık bir kanıtını çoktan üretmiş olduğunu açıkladı. Dikkat çekici olan şu: bu, neredeyse kimsenin peşinden gitmediği, Diego Córdoba ve Luis Martínez-Ziora'nın programına dayanan aynı dar rotaydı. Buckmaster, Bubeck'in Alpöge'nin Anthropic bağlantısı gerekçesiyle iki kez yazarlık listesinden çıkarılmasını önerdiğini ve bir kez ona “Neden kariyerini mahvedesin?” diye sorduğunu iddia ediyor. Bubeck iddiaları “yanlış ve kışkırtıcı” diye niteledi; koordineli bir yayım önerdiğini gösteren mesajları paylaştığını ve iyi niyetle hareket ettiğini savunuyor. Altman ise Bubeck'in “baştan sona dürüstlük ve cömertlikle” davrandığını söyleyerek, OpenAI'nin karşı ekibin yalnızca Euler'i, tam Navier-Stokes'i değil çözdüğünü fark ettiğinde onların önce yayımlamasına izin vermeyi önerdiğini ekledi. OpenAI ayrıca ikilinin çalışmasını yayımlanmadan önce hiç görmediğini bildirdi, ancak kimliğinden arındırılmış kullanım verilerinin modellerinin gelişmesine katkı sağlamış olabileceğini dışlamadı. Buckmaster bir ayrıntıya daha dikkat çekti: ikili, kanıt taslaklarını OpenAI Codex oturumlarının içinde tutuyordu ve bu oturumların model eğitimine beslenip beslenmediği sorusuna hiç yanıt almadı. Fields Madalyası sahibi Terence Tao, Buckmaster ve Alpöge'nin altta yatan matematiğini “dikkate değer bir başarı” olarak niteledi. Kritik not: Ne OpenAI'nin 100 sayfalık kanıtı ne de ikilinin en ileri sonucu — hâlâ nihai Lean doğrulamasını bekliyor — bağımsız olarak incelenmiş değil. Piyasayı anlık izlemek isteyen okurlar, spot ve vadeli fiyatları MEXC üzerinden canlı takip edebilir.

Altman-Worldcoin Bağlantısı

Worldcoin projesi (WLD) açısından mesele akışkanlardan çok, kırılmanın üzerinde kimin adının yazdığıyla ilgili. Altman, iris taramasına dayalı kimlik ağı sıfır bilgi kanıtlarına (zero-knowledge proofs) yaslanan Worldcoin'in kurucu ortağı; OpenAI kilometre taşları da defalarca WLD'nin piyasa değeri anlatısına taşıdı, çünkü yatırımcılar Altman bağlantılı yapay zekâ-kripto işlemini yeniden fiyatlıyor. Son 24 saatte WLD yüzde 4,4 geriledi; yapay zekâ bağlantılı altcoin'ler kavgayı takip ederken Worldcoin ekosistemi, Altman'ın diğer şirketinin etkisinden çıkmış değil. Kanıtın dış incelemeden geçip geçmeyeceği ve itibarın kime yazılacağı, Web3 cephesinde bir sonraki konumlanma dalgasını belirleyecek.