OpenAI, Navier-Stokes kanıtını kamuoyuna açıkladı ve matematikçilerin itibar gaspı suçlamalarına doğrudan yanıt verdi.
动察 Beating AI hızlı haberi: OpenAI, yapay zeka tarafından tamamlanan bir Navier-Stokes kanıtını yayınladı. Bu, yaklaşık 90 yıldır çözülememiş bir matematik problemi ve yedi "Milenyum Problemi"nden biri olup ödülü 1 milyon dolardır.
OpenAI, hâlâ eğitim aşamasında olan ve GPT-6 Astra'dan belirgin şekilde daha güçlü bir dahili model kullandığını, yaklaşık 10.000 ajanın koordineli çalışarak 88 saatte çözümü bulduğunu, ardından Astra ile 17 saat süren Lean makine doğrulamasını tamamladığını belirtti. Makale ve doğrulama kodları kamuya açıklandı, ancak yine de matematik camiasının incelemesine tabi tutulacak.
Bu başarının arkasında bir öncelik çalma tartışması da var. New York Üniversitesi matematikçisi Tristan Buckmaster ve Anthropic çalışanı Levent Alpöge, daha önce Claude ve Codex yardımıyla aynı yönde araştırmalar ilerletmişti. Buckmaster, ikilinin yayınlanmamış ilerlemelerinin OpenAI'a ulaştığını ve OpenAI'ın birkaç gün içinde büyük hesaplama gücüyle aynı yola saldırdığını, ayrıca Buckmaster'ın OpenAI'ın Navier-Stokes kanıtını yeniden yazmasını önerdiğini ancak Alpöge'nin adının yer almasına izin vermediğini iddia etti.
OpenAI şimdi bu yarışın gerçekten de "Anthropic'in Milenyum Problemini çözmüş olabileceği" söylentisiyle başladığını kabul ediyor. 1 Eylül'de ekip, yeni modeli birden fazla matematik problemine karşı test etmeye başladı; önce yaklaşık 100 ajanla Euler sonucunu elde etti, ardından kaynakları Navier-Stokes'a yoğunlaştırdı ve sonunda yaklaşık 10.000 ajana genişletti. OpenAI, Buckmaster'ın makalesini kamuya açmadan önce araştırmasını gördüğünü ve belirli kullanıcı verilerine eriştiğini reddediyor, ancak başka bir olasılığı tamamen kapatmıyor: İkilinin OpenAI ürünlerini kullanırken üretilen kimlikten arındırılmış veriler, modelin iyileştirilmesi için kullanılmış olabilir.
Sébastien Bubeck de isimlendirme ve "kariyeri mahvetme" tartışmalarına yanıt verdi. Alpöge'nin ikilinin mevcut çalışmalarındaki isim hakkından vazgeçmesini istemediğini; o sırada Buckmaster'ın OpenAI'ın kanıtını ana yazar olarak yazmasının konuşulduğunu ve bir Anthropic çalışanının OpenAI'ın çalışmasında isimlendirilmesinin uygun olmadığını düşündüğünü belirtti. "Neden kendi kariyerini mahvetmek istiyorsun?" ifadesi için Bubeck, sözlerin kötü seçildiğini kabul edip özür diledi, ancak bunun bir tehdit olduğunu reddetti. Sam Altman da açıkça Bubeck'in yanında yer aldı ve OpenAI'ın başlangıçta Anthropic söylentisini duyduktan sonra kendi modelinin bunu yapıp yapamayacağını görmek istediğini doğruladı.
OpenAI, bu zorluğa karşılık gelen 1 milyon dolarlık ödülü almayacağını belirtti.
