Tristan Buckmaster: üç patlama sonucu ve OpenAI ile bir tartışma

Üç sonuç, biri hâlâ yayımlanmadı

New York Üniversitesi Courant Enstitüsü'nden Tristan Buckmaster, Levent Alpöge ile elde ettiği üç sonuca dair bir açıklama yayımladı: sıkıştırılamaz gözenekli ortam, Boussinesq denklemleri ve üç boyutlu sıkıştırılamaz Euler denklemleri için düzgün dış kuvvet altında sonlu zamanda patlama. Dördüncü sonuç — hipo-dissipatif Navier–Stokes için patlama — Lean doğrulaması bitene kadar yayımlanmıyor.

Buckmaster, programın kendilerine ait olmadığını ve bir dil modelince önerilmediğini vurguluyor. Fikir, yıllardır zorlamalı patlamaları araştıran Diego Córdoba ve Luis Martínez-Zoroa'ya ait; Buckmaster ile Alpöge, dil modellerinin büyük yardımıyla onların kaba kuvvet sonucunu düzgün kuvvete ve Euler denklemlerine taşıdı.

15 Ağustos ve modellerin rolü

Yılın büyük bölümünde ilerleme yavaştı; dönüm noktası, Boussinesq ve Euler için patlama sonuçlarını elde ettikleri 15 Ağustos'ta geldi. Buckmaster'a göre ilk model üretimi kanıt okuduğu en korkunç metindi; 22 Ağustos'ta Lean'de doğrulandı. Anthropic'in Claude'unu ve OpenAI'ın Codex'ini, özellikle GPT-5.6 Sol'u ve son dönemde Astra'yı kullandılar; Astra yalnızca metin yazımı ve argümanların denetimi içindi.

Buckmaster sunumdan açıkça memnun değil: Boussinesq ve Euler metinleri, insan eliyle yazılmış bir makaleden çok, insan yönlendirmesiyle modellerin ürettiğine benziyor; Euler metni için ancak "yapay zekâ çöpü" denebilir. Özür diliyor ve kendi görüşüne göre Luis Martínez-Zoroa'nın Fields Madalyası'nı hak ettiğini söylüyor.

OpenAI ile tartışma

3 Eylül'de, Anthropic'in önemli bir açık problemi çözdüğü söylentisi yayılırken Buckmaster, OpenAI'daki tanınmış bir matematikçiye yazdı. Kendisine daha sonra, OpenAI'ın dahili bir modelinin zorlamalı Navier–Stokes denklemleri için sonlu zamanda patlama kanıtı ürettiği söylendi: "R3 ve T3'te zorlamalı patlamanın varlığı", dış kuvvet fonksiyonu düzgün, "Fefferman'ın ifadesindeki c ve d seçenekleri". Yaklaşık 100 sayfalık bu kanıtı görmedi. "Zorlamalı" sözcüğünün kırmızı bayrak olduğunu yazıyor: bu, Córdoba ve Martínez-Zoroa'nın açtığı ve ikisinin sessizce seçtiği yol.

Kendisine modele yalnızca problem ifadesinin verildiği söylendi; ancak problem üzerinde bütün bir ekibin çalıştığı, gösterilen istemin bile Codex'e yazdırıldığı ve muazzam miktarda hesaplama kullanıldığı ortaya çıktı. İlk istemin, çalışmalarına dair bilgi OpenAI'a ulaştıktan sonra son günlerde gönderildiği sonunda kabul edildi. Modelin Codex oturumları üzerinde eğitilip eğitilmediği sorulduğunda, modelin kullanıcı verilerine bakmadığı söylendi; yeniden sorduğunda yanıt alamadı.

Kendisine iki öneri sunuldu: OpenAI'ın sonucunu Euler sonuçları yayımlandıktan sonraki gün yayımlaması ya da Buckmaster'ın makaleyi tek başına yazması. İkisini de reddetti; kamuoyuna anlatacağını söylediğinde yanıt şuydu: "Kariyerini neden mahvedesin?" Kanıtı görmediğini ve kimseyi suçlamadığını belirtiyor: bir OpenAI modeli gerçekten bu açığı kapattıysa, bu olağanüstüdür ve tarihi koruyarak yüksek sesle söylenmelidir.