OpenAI ikinci Milenyum Ödülü matematik başarısına göz kırptı

Navier-Stokes varlık ve pürüzsüzlük problemini çözdüğünü iddia etmesinden iki haftadan kısa bir süre sonra OpenAI, matematiğin yedi Milenyum Ödülü Problemi'nden birini daha çözmeye yakın olabileceğini ima etti ve spekülasyonlar Hodge Sanısı üzerinde yoğunlaştı. Bu hamle, şirketin matematik camiasından gelen organize bir tepkiyle karşılaştığı bir dönemde gerçekleşti; buna 25 Fields Madalyası sahibinin imzaladığı ve yapay zeka şirketleri ile yeniden şekillendirdikleri disiplin arasındaki "ciddi uyumsuzluk" konusunda uyarıda bulunan bir mektup da dahil.

Navier-Stokes'un Yankıları

8 Eylül'de OpenAI, yayınlanmamış bir dahili model tarafından desteklenen yaklaşık 10.000 koordineli yapay zeka ajanının, 1 Eylül'de başlayan 88 saatlik bir hesaplama sırasında Navier-Stokes denklemlerinin "patlayabileceğini" (pürüzsüz başlangıç koşullarından sonsuz akışkan hızları üretebileceğini) gösteren 166 sayfalık bir kanıt ve Lean formülasyonu ürettiğini duyurdu. Duyuru, NYU matematikçisi Tristan Buckmaster'dan anında suçlamalar aldı; Buckmaster, kendisinin ve Anthropic araştırmacısı Levent Alpöge'nin benzer bir yaklaşımla ilerleme kaydettiğini öğrendikten sonra OpenAI'ın problemi çözmek için acele ettiğini iddia etti. OpenAI, Buckmaster'ın çalışmalarının dahili modelini etkilemesinin "kategorik olarak" imkansız olduğunu söyleyerek iddiaları reddetti.nytimes+3

Tartışma hızla tırmandı. 11 Eylül'de Terence Tao ve 24 diğer Fields madalyası sahibi, "Matematikte Yapay Zekanın Ciddi Bir Uyumsuzluğu" başlıklı bir bildiri yayınlayarak, yapay zeka şirketlerinin ünlü problemleri gerçek bir anlayış aracı olarak değil, kaba kuvvetle çözülecek kıyaslamalar olarak ele aldığını savundu. Mektupta, "Genellikle bu çözümler aceleyle duyuruluyor, bu da uygun bir yazım, yeni yöntem ve fikirlerin izolasyonu ve başkalarının ilgili önceki çalışmalarına atıfta bulunmak için zaman bırakmıyor" denildi. O zamandan beri yaklaşık 6.000 matematikçi daha mektubu destekledi.science+2

Ayrıca, 1.000'den fazla matematikçi, Caltech'te araştırmacıları OpenAI ve Anthropic'ten yapay zeka hesaplama kredileriyle eşleştirecek planlanan bir "matematik maratonuna" karşı çıkan açık bir mektup imzaladı ve bunu kariyerinin başındaki akademisyenlerin kurumsal sömürüsü olarak nitelendirdi. OpenAI daha sonra etkinlikten çekildi.science

İkinci Bir Milenyum Problemi

Matematikçiler yoğun Navier-Stokes kanıtı üzerinde çalışırken bile, The Information ve Science'ın haberlerine göre OpenAI, ikinci bir Milenyum Ödülü Problemi'nin çözümüne yaklaşıyor olabileceğini işaret etti. Şirket hangi problemi hedeflediğini doğrulamadı, ancak spekülasyonlar, formülasyonu bile lisansüstü düzeyde uzmanlık gerektiren cebirsel geometrideki bir problem olan Hodge Sanısı üzerinde yoğunlaştı. Söylentiler ayrıca Birch ve Swinnerton-Dyer sanısını OpenAI veya Anthropic için olası bir hedef olarak işaret etti.theinformation+4

Zamanlama sert eleştirilere yol açtı. 11 Eylül'de Harvard'da Navier-Stokes kanıtı üzerine ders veren Brown Üniversitesi'nden Javier Gómez-Serrano, 166 sayfalık belgeyi "anlaşılmaz" olarak nitelendirdi ve matematik camiasının bir "varoluşsal kriz" yaşadığını söyledi. Caltech'ten Sergei Gukov, anı bir "deprem" ile karşılaştırdı.science

OpenAI'ın bir sonraki iddiasının, eğer gerçekleşirse, matematikçilerle olan uçurumu derinleştirip derinleştirmeyeceği veya işbirliğine doğru bir dönüm noktası olup olmayacağı açık bir soru olmaya devam ediyor. Fields madalyası sahiplerinin yazdığı gibi: matematiğin şu anda karşı karşıya olduğu zorluk, "tüm insanlığın karşılaşabileceği sorunlara işaret ediyor: yapay zeka işin yapılma şeklini değiştirirken, o işin en başta neyi başarmayı amaçladığını gözden kaçırmadığımızdan nasıl emin olabiliriz".terrytao.wordpress