OpenAI, New York Times’a 8 Eylül’de Navier-Stokes denklemlerini çözdükten bu yana ikinci bir Millennium Prize Problemi üzerinde "önemli ilerleme" kaydettiğini söyledi, ancak problemi veya açıklama takvimini isimlendirmiyor.
OpenAI tarafından doğrulanmayan çevrimiçi spekülasyonlar, karmaşık geometrik şekillerdeki "delikleri" sayma konusunda 76 yıllık bir bulmaca olan Hodge Sanısı’na işaret ediyor.
Clay Mathematics Institute’un OpenAI’nin Navier-Stokes ispatına ilişkin incelemesi hâlâ devam ediyor ve matematikçi Tristan Buckmaster ile ayrı bir kredi anlaşmazlığı çözülmedi.
OpenAI, matematiğin en zor açık sorularından faydalanmaya devam ediyor—en azından çözme kredisi konusunda, çünkü şirket parayı istemediğini söylüyor.
Navier-Stokes denklemlerine çözüm iddia ettikten günler sonra OpenAI, New York Times’a Clay Mathematics Institute’un 2000 yılından bu yana 1 milyon dolar ödülle desteklediği yedi büyük bulmacadan biri olan başka bir Millennium Prize Problemi üzerinde "önemli ilerleme" kaydettiğini söyledi.
OpenAI hâlâ hangi problemden bahsettiğini söylemedi, ancak uzmanların, meraklıların ve gazetecilerin teorileri var.
Sosyal medyadaki tartışmalar Hodge Sanısı’nda yoğunlaştı, bu 1950 tarihli bulmaca, kimse hayal edemeyecek kadar çok boyutu olan karmaşık geometrik şekillerdeki "deliklerin" nasıl sayılacağı ile ilgili. Matematikçi William Hodge bunu geometri yerine cebir kullanarak yapma kısayolu önerdi, ancak bu kısayolun her zaman işe yaradığı kanıtlanmadı.
OpenAI bu tahmini doğrulamadı ve çalışmanın arkasındaki yayınlanmamış modelin uzun zaman ufku görevleri ve ajan tabanlı iş akışları için tasarlandığı söylenen Aeon sürümü olduğu yönündeki söylentileri de doğrulamadı. Her ikisi de şirket açıklaması değil, spekülasyon.
^ Codex Desktop’ta yaklaşık 30 dakika önce görünen bir statsig özellik bayrağına yeni slug’lar eklendi
"aeon" "ölçülemez veya sınırsız uzun bir zaman dilimi, bir çağ veya sonsuzluk" anlamına gelir
— leo 🐾 (@synthwavedd) 3 Eylül 2026
8 Eylül’de OpenAI, yayınlanmamış dahili bir modelin Lean ile doğrulanmış bir ispat ürettiğini söyledi—Lean, bir matematik ispatını mantıksal adım adım kontrol eden bir yazılım—Navier-Stokes denklemlerinin, hava ve su gibi akışkanların nasıl hareket ettiğini tanımlayan denklemlerin fiziksel olarak imkânsız sonsuz bir hıza "patlayabileceğini" gösteriyor. Bu sonuca ulaşmak için yaklaşık 10.000 koordine yapay zeka ajanı yaklaşık 88 saat çalıştı.
Bu sadece matematik bölümü için büyük bir haber değil. Navier-Stokes, uçak tasarımı, hava tahmini ve doktorların kan akışını modellemesini destekliyor ve neredeyse 90 yıldır tam matematiksel bir açıklamaya direniyordu.
Ancak duyuru karışık karşılandı. NYU matematikçisi Tristan Buckmaster, dört sayfalık bir açıklamada kendi tarafını anlattı: Kendisi ve Anthropic araştırmacısı Levent Alpöge, neredeyse bir yıl boyunca sessizce ilgili bir ispatın peşindeydiler ve 22 Ağustos’ta bitirdiler—OpenAI’nin Sébastien Bubeck bunun haberini alıp önce yayınlamaya koşmadan önce.
Buckmaster, Bubeck’in kendisine ya OpenAI’nin kendi ekibinden bir gün sonra yayınlamasına izin vermesini ya da Alpöge olmadan tek başına yazmasını söylediğini belirtiyor, çünkü Alpöge rakip bir laboratuvarda çalışıyor. Reddettiğinde Bubeck’in kendisine imaen "Kariyerini neden mahvedesin?" dediği iddia ediliyor.
Bu yeni yapay zeka modelleri o kadar güçlü ki matematiği havalı gösteriyor. Aynı hafta Anthropic, Claude modelinin Fermat’ın Son Teoremi’nin 358 yıllık ispatını 11 günde resmileştirdiğini söyledi ve matematikçi Terence Tao, yapay zeka laboratuvarlarının birbirleriyle yarışmasının matematiğin zor ve faydalı problemler stokunu yeni bulunabileceklerden daha hızlı tükettiği konusunda uyarıda bulundu.
OpenAI, herhangi bir sonuç yayınlamak için 1 milyon dolarlık ödülü kovalamadığını söylüyor—problemleri modellerinin ne kadar hızlı geliştiğini ölçmek için kamusal bir cetvel olarak kullanıyor. Bu cetvelin bir sonraki testi, Clay Institute’un ya da şirket dışındaki herhangi bir matematikçinin şirketin iddialarından en az birini bağımsız olarak doğrulayıp doğrulamayacağı—ve geçmiş Millennium Prize başvuruları için bu sürecin haftalar değil yıllar aldığı.
