OpenAI'ın yeni GPT'si, iddiaya göre 10.000 agent'lı Navier–Stokes kanıtının arkasındaki model, yakında çıkıyor

Sam Altman, Abu Dabi'deki bir açılış konuşmasını OpenAI'ın yeni nesil GPT'sini tanıtmak için kullandı; modele "yakında" çıkacağını söyleyerek iddiaya göre Navier–Stokes varlık ve düzgünlük probleminin kanıtını üreten iç projeyi de anlattı. dev.to'da ADIPEC 2026 açılış törenindeki bu konuşmayı aktaran bir habere göre, 10.000 yapay zekâ agent'ı 88 saat boyunca aralıksız, hiçbir insanın yönetiminde olmadan çalıştı ve ardından sonucu makine doğrulamalı bir Lean formalizasyonuna dönüştürmek için 17 saat daha harcadı.

dev.to yazısı Çince teknoloji medyasına — NetEase üzerinden Xinzhiyuan ve Phoenix Tech AI Morning Post'a — dayanıyor ve şu an için bu sözlerin tek anlatısı. Ayrıca kendi merkezî uyarısını da taşıyor: öne sürülen sonuçların hiçbiri henüz bağımsız uzmanlar tarafından incelenmiş değil.

Sürünün iddiaya göre nasıl çalıştığı

dev.to'nun vurguladığı ayrıntı, orkestrasyonun yokluğu. Sözde hiçbir denetleyici agent, bugün çok agent'lı sistemlerin çoğunun kullandığı mimaride olduğu gibi, problemi işçilerin mekanik olarak uygulayacağı alt görevlere bölmüyordu. Bunun yerine agent'lar kendi yönlerini kendileri seçti, ara sonuçları paylaştı, birbirlerinden umut verici fikirler ödünç aldı ve kendi sonraki adımlarını kendileri belirledi. Bu çalışma neredeyse dört gün süren otonom bir atılım olarak tanımlanıyor — yazışının ima ettiği gibi, bir insan matematikçinin bunu planlaması bile zor olurdu.

Modelin iddiaya göre ürettiği

darbe Manşet iddiası, Clay Mathematics Institute'ın Milenyum Ödülü problemlerinden ilkının düşmesi: akışkanlar dinamiğinin kalbindeki uzun süredir açık olan Navier–Stokes varlık ve düzgünlük sorusu. Aynı anlatı, çalışmanın çıktısının tek bir teoremin çok ötesine geçtiğini, Riemann hipotezine ve Hodge sanısına değindiğini, Kakeya sanısını tüm boyutlarda çözdüğünü, üstel zaman hipotezini çürüttüğünü ve Yang–Mills varlığına dair bir kanıt ürettiğini söylüyor. Toplam çıktı tek bir makale değil, 722 araştırma yazısı olarak tanımlanıyor.

Yetenek iddiası

Altman'ın izleyicilere söylediği iddia edilen cümle şöyle: "Yapay zekâ artık zamanın çoğunda en iyi bilim insanlarından daha akıllı" ve bu işin arkasındaki modeli yalnızca birkaç aylık olarak tanımladı. dev.to'nun yorumuna göre bu cümle abartı olarak okunabilir; ama şirketin açılış konuşması sahnelerinden gerçek ürünleri tanıtma geçmişi var, bu yüzden "yakında" ifadesi bir çıkış sinyali olarak ciddiye alınmayı hak ediyor.

Hâlâ tek kaynaklı bir haber

Yukarıdaki her sayı — 10.000 agent, 88 saat kanıtlama, 17 saat formalizasyon, 722 yazı — Çince mecralar üzerinden aktarılan tek bir ikincil rapordan geliyor ve hiçbiri bağımsız olarak doğrulanmış değil. Şayet hiç yayınlanırsa, doğrulanabilir en güçlü öğe Lean formalizasyonu olurdu: makine doğrulamalı bir kanıt prensipte doğru araçlara sahip herkes tarafından denetlenebilir ve bu, köken ve çerçeveleme tartışmaları sürerken doğruluk sorularını kesin olarak çözürdü.

Neden önemli

İddia kabaca bile doğruysa, sınıryı matematikçilere yardımcı olan modellerden, açık uçlu araştırmayı günlerce kendi başına örgütleyip yürüten sistemlere taşıyor. Gösteri olarak görülüp yok sayılsa bile, OpenAI'ın yeni sürümünü nereye konumlandırdığını gösteriyor: daha önce bütün matematik kariyerlerini tanımlamış problemlere yönelen, uzun süreli ve kendi kendini yönlendiren agent sürüleri. Ve Altman modelin yakında çıkacağını söylediği için, açılış konuşması anlatısı ile denetlenebilir bir artefakt arasındaki mesafe hızla kapanabilir. Lean dosyaları veya yazılar incelemeye sunulana kadar, bu haber denetimini bekleyen bir dönüm noktası iddiası olarak duruyor.