OpenAI, 21 Eylül’de yaptığı açıklamada, 28 Ağustos’ta eğitime başlayan adı açıklanmayan dahili bir yapay zeka modelinin, aralarında ünlü Navier-Stokes Milenyum Ödülü probleminin de bulunduğu 100’den fazla uzun süredir çözülemeyen matematik problemini çözdüğünü iddia etti. Şirket, iddiasını destekleyecek ne bir kanıt, ne problemlerin ayrıntılı bir listesi ne de bağımsız bir doğrulama yayımladı; açıklama tamamen OpenAI’ın kendi beyanına dayanıyor.

Navier-Stokes’tan Hodge Sanısına: İddianın Kapsamı Genişliyor

OpenAI ilk iddiasını 8 Eylül’de duyurmuş, yaklaşık 10 bin yapay zeka ajanını eş zamanlı çalıştırarak Navier-Stokes varlık ve pürüzsüzlük probleminin 88 saatte çözüldüğünü öne sürmüştü. 21 Eylül’deki açıklamayla iddianın kapsamı büyük ölçüde genişletildi: listeye 100’den fazla ek problem eklenirken,ikinci bir Milenyum Ödülü problemi olan Hodge sanısının da çözüldüğü ileri sürüldü. Matematikçiler, 166 sayfalık Navier-Stokes makalesinin Lean adlı biçimsel doğrulama sisteminde teknik olarak derlendiğini doğruladı, ancak makalenin insan tarafından okunabilir olmadığını belirtti. Brown Üniversitesi’nden Javier Gómez-Serrano makalenin “insanlar için yazılmadığını” söylerken, Oxford’dan James Maynard kanıttan gerçek bir matematiksel kavrayış çıkarmanın son derece zor olduğunu ifade etti.

Matematik Dünyasından Sert Tepki: Aceleyle Yayımlama Eleştirisi

Gelişme, akademik camiada geniş yankı uyandırdı. Terence Tao ve June Huh’un da aralarında bulunduğu 25 Fields Madalyası sahibi matematikçi, 11 Eylül’de “Yapay Zekanın Matematikteki Derin Uyumsuzluğu” başlıklı ortak bir açık mektup yayımladı. Mektupta, problem çözmenin yapay zeka sistemleri için bir başarı ölçütü olarak sunulmasının, matematiğin özünü oluşturan kavramsal anlayışı geri plana ittiği uyarısı yapıldı. Milenyum Ödülü’nü veren Clay Matematik Enstitüsü de konuya temkinli yaklaştı; kurum, herhangi bir ödül değerlendirmesi başlamadan önce çalışmanın hakemli bir dergide yayımlanması ve ardından en az iki yıl boyunca akademik camiada genel kabul görmesi gerektiğini hatırlattı. OpenAI’ın iddia ettiği sonuçlardan hiçbiri henüz yayımlanmadığı için bu süreç fiilen başlamış değil.

Öncelik Tartışması: Buckmaster’ın İddiaları ve OpenAI’ın Yanıtı

Tartışmaya bir de öncelik iddiası eklendi. New York Üniversitesi’nden matematikçi Tristan Buckmaster, Anthropic’te araştırmacı olarak çalışan meslektaşı Levent Alpöge ile birlikte Navier-Stokes denklemine çok yaklaştıkları bir sırada OpenAI’ın kullandıkları yöntemi öğrenip yayımlamak için aceleye giriştiğini öne sürdü. Buckmaster’a göre OpenAI, Alpöge’yi yazar listesinden çıkarması karşılığında kendisini şirketin makalesine ortak yazar olarak eklemeyi teklif etti; OpenAI ise çalışmayı kullandığı iddiasını reddetti. Aynı süreçte OpenAI, Princeton’daki İleri Araştırmalar Enstitüsü bünyesinde Fields Madalyalı Timothy Gowers ve Martin Hairer’ın da yer aldığı dokuz kişilik bağımsız bir Matematik ve Yapay Zeka Danışma Kurulu kurdu. Ancak kurulun, şirketin dahili ilerleme hızı üzerinde herhangi bir yönlendirme yetkisi bulunmuyor.