OpenAI'ın 10.000 agent'lık sürüsü sonlu zamanda Navier–Stokes patlamasını kanıtladığı iddia ediliyor

Yayımlanan neydi

8 Eylül'de, dev.to'daki ayrıntılı bir yazıya göre OpenAI, üç boyutlu sıkıştırılamaz Navier–Stokes denklemlerinin sonlu zamanda bir tekillik geliştirebileceğini gösteren bir kanıt yayımladı. Eşlik eden bir Lean formalizasyonu içeren 166 sayfalık bir makale olan bu sonuç, düzgün bir dış kuvvet altında durgun halde başlayan, kinetik enerjisi sınırlı kalan ama zaman bire yaklaşırken azami hızının sınırsız biçimde büyüdüğü bir akışkan inşa ediyor. Yazı, bunu Clay Mathematics Institute'ın yazdığı haliyle Navier–Stokes Milenyum Ödülü problemi için olumsuz bir çözüm, Leray'dan doksan yıl sonra gelen bir sonuç olarak çerçeveliyor ve OpenAI'ın milyon dolarlık ödülü talep etmeyeceğini bildiriyor.

Bir amiral gemisi modeli değil, bir sürü

Kanıt, OpenAI'ın beş gün önce yayımladığı model GPT-6 Astra'dan gelmedi. dev.to'daki anlatıma göre kanıt, 28 Ağustos'tan beri eğitilen, OpenAI'ın Astra'dan kayda değer biçimde daha yetenekli olarak değerlendirdiği, matematik gibi alanlarda benchmark kazançları gösteren dahili bir modelden geldi. Astra'nın tek rolü son adımdı: Lean formalizasyonunu ve doğrulamasını 17 saatte üretmek.

Modelin üzerindeki mekanizma bir sürüydü. Yazıya göre 1–5 Eylül arasındaki yaklaşık 88 saat boyunca internetin önbelleğe alınmış bir anlık görüntüsüne ve kod yürütme yeteneğine kavuşan, eşzamanlı çalışır durumda yaklaşık 10.000 agent 2,7 milyon mesaj ve yaklaşık 130 milyar çıktı token'ı değiştirdi. Çabanın giriştiği tüm problemler dahilinde toplamlar 4,9 milyon mesaja ve 300 milyar token'a ulaştı.

Üç orkestrasyon tercihi öne çıkıyor. İddiaya göre OpenAI tek bir yöne bahis oynamadı; ayrı gruplara A ve B (çözümler düzgün kalır) ile C ve D (bozulabilirler) önerme çiftleriyle prompt verdi. Diğer gruplar daha kolay problemler üzerinde çalıştı ve biri ilk düştü: zorlanmamış Euler denklemleri — aynı sorunun viskozite kaldırılmış hali — yaklaşık 100 agent tarafından kabaca 50 saatte çözüldü ve ardından Navier–Stokes gruplarına bir prompt olarak beslendi. Agent'lar yalnızca kendi grupları içinde konuşabiliyordu; Codex ise gruplar arasındaki en yararlı içgörüleri sonraki prompt'larda birleştiriyordu.

Teorem gerçekte ne söylüyor

Önerme kısa. Her pozitif viskozite için, uzay ve zamanda kompakt destekli, düzgün bir dış kuvvet vardır; öyle ki bu kuvvet altında durgun başlayan akışkan zaman birden önce düzgündür, baştan sona sınırlı kinetik enerjiye sahiptir ve zaman bire yaklaşırken azami hızı sonsuza gider. Bu, Fefferman'ın resmi problem tanımındaki C önermesidir ve kompakt destek D önermesini bedavaya verir. Hiçbir itiş olmadan yalnız bırakılan bir akışkanın bozulup bozulamayacağı sorusu olan A ve B önermeleri ise eskisi kadar açık kalıyor.

Dürüst olunması gereken çekince kuvvetin kendisi. Yazı, makalenin önce patlayan akışı seçtiğini ve kuvveti denklemlerin geride bıraktığı artık olarak tanımladığını açıklıyor; tüm güçlük, artığı tekillik anı boyunca düzgün kalan bir akış seçmekte yatıyor. Tek bir arka plan girdabının artığı ıraksıyor ve yapı, kalan hataları mertebesi mertebesi gidermeden önce bunu uzaysal salınımlı darbelerle iptal ediyor; makalenin uzunluğu da tam bu temizliğe gidiyor. Yazının savunduğuna göre bazı matematikçiler bunu yazıldığı haliyle problemin bir çözümü, diğerleri bir açık kapı olarak adlandıracak ve her iki okumanın da haklı bir yanı var.

Akışkanın akışkan olmaktan çıktığı yer

Patlamanın gözünüzde canlandırabileceğiniz bir biçimi var: ekseni boyunca uzayarak içe doğru sarmalanan bir girdap, tıpkı lavaboya akan su gibi. Çekirdek yarıçapı kalan zamanın karekökü gibi küçülürken tepe hızı o karekökün tersinden biraz daha hızlı büyüyor. Tekil andan çok önce çekirdek, hava moleküllerinin ortalama serbest yolundan daha darlaşıyor ve hız ses hızını aşıyor; denklemlerin altındaki varsayım olan sıkıştırılamazlık bu noktada çoktan geçersiz olmuş durumda. Yazının deyişiyle denklemler sonsuz hızlı bir akışkan öngörmekten çok, geçerli olmayı nerede bıraktıklarını ilan ediyor.

Akışkanlar mekaniği için pratik sonuç, bu anlatıma göre sıfıra yakın. Tekillik, uzay ve zamanda tek bir noktada ıraksak terimleri her mertebede iptal edecek şekilde tasarlanmış bir kuvvet gerektiriyor; bir kanat, bir kasırga ya da bir atardamarda bunu sağlayan hiçbir şey yok. Sayısal çözücüler zaten grid ölçeğinin altında düzenlileştirme yapıyor ve çekirdeğin kinetik enerjisi aslında sıfıra doğru azalıyor. Hiçbir mühendislik kodunun değişmesi beklenmiyor.

Neden önemli

Bunu bir ödül hikâyesinden daha büyük yapan üç şey var. Birincisi, modelin kendisinin statüsü değişti: sürekli ortam denklemlerinin ara sıra aralığının dışında uygulanan kapalı, kendinden tutarlı bir tanım olduğu varsanılıyordu; şimdi, anlatım doğruysa, kendi çıkışını içerdikleri ve düzgün bir itişle erişilebilir olduğu biliniyor. İkincisi, yöntem başlı başına bir dönüm noktası: açık uçlu problem önermelerinden basamak sonuçlarına ve makine aracılı birleştirmeye uzanan orkestrasyonuyla binlerce agent'tan oluşan bir sürü tarafından üretilen araştırma düzeyinde bir teorem; diğer ekipler bunu yakından inceleyecek. Üçüncüsü, çekinceler manşet kadar ilgiyi hak ediyor: zorlanmamış durum hâlâ açık, ödül talep edilmeyebilir ve bu yazıdaki her rakam, makalenin kendisinden değil, OpenAI'ın yayımını anlatan tek bir dev.to yazısından geliyor. Lean formalizasyonu bağımsız olarak doğrulandığında matematikçilere sonucu onaylamak için makinece doğrulanabilir bir yol sunacak.