OpenAI 100’den fazla matematik problemini çözdüğünü iddia ediyor ancak kanıt sunmuyor

OpenAI, 21 Eylül'de 28 Ağustos'ta eğitime başlayan isimsiz bir iç modelin, Navier-Stokes Milenyum Ödülü problemi de dahil olmak üzere matematiğin çoğu alanındaki 100'den fazla köklü açık problemi çözdüğünü duyurdu. Şirket hiçbir kanıt, maddeler halinde bir problem listesi veya dış doğrulama yayınlamadı ve tüm iddiayı sadece kendi sözüne dayandırdı.chosun+1

Duyuruyla birlikte OpenAI, Princeton'daki İleri Araştırmalar Enstitüsü'nde barındırılan ve yapay zeka sistemlerinden gelen matematiksel sonuçlar kesinleşmiş kabul edilmeden önce bunları incelemesi amaçlanan Matematik ve Yapay Zeka Danışma Grubu'nun kurulduğunu açıkladı.the-decoder+1

Belgesiz Bir Dönüm Noktası İddiası

Navier-Stokes varlık ve düzgünlük problemi, Clay Matematik Enstitüsü tarafından 2000 yılında belirlenen ve her biri 1 milyon dolar ödüllü yedi Milenyum Ödülü probleminden biridir. Denklemler akışkan hareketini tanımlar ve fizik ile mühendislikte her gün kullanılır, ancak matematiksel temelleri hala tam olarak anlaşılamamıştır.npr

OpenAI, ilk olarak 8 Eylül'de yapay zekasının Navier-Stokes problemini yaklaşık 10.000 yapay zeka ajanı kullanarak 88 saatte çözdüğünü iddia etti. 21 Eylül'deki duyuru, kapsamı önemli ölçüde genişleterek 100'den fazla ek çözülmüş problem ve The Decoder'a göre ikinci bir Milenyum Ödülü problemi olan Hodge sanısının çözümünü de ekledi.the-decoder+2

Daha önceki 166 sayfalık Navier-Stokes taslağını inceleyen matematikçiler, Lean biçimlendirmesinin doğru bir şekilde derlendiğini, bunun da kanıtın teknik olarak geçerli olduğunu gösterdiğini, ancak makalenin kendisinin neredeyse okunamaz olduğunu söylüyor. Brown Üniversitesi'nden matematikçi Javier Gómez-Serrano, "Makale insanlar için yazılmamış" dedi. Oxford Üniversitesi'nden James Maynard ise "bu yeni yapay zeka kanıtından herhangi bir insani anlayış çıkarmanın çok zor olduğunu" ekledi.npr

Yayınlama Acelesi Üzerine Tartışma

Bu olay matematik camiasından sert eleştiriler aldı. Terence Tao ve June Huh dahil olmak üzere yirmi beş Fields Madalyası sahibi, 11 Eylül'de "Matematikte Yapay Zekanın Ciddi Bir Uyumsuzluğu" başlıklı açık bir mektup yayınlayarak, problem çözmeyi yapay zeka sistemleri için bir kıyaslama olarak görmenin disiplinin merkezinde yer alan kavramsal anlayışı baltaladığı konusunda uyardı.the-decoder+1

New York Üniversitesi'nden ve Anthropic'te işbirlikçisi Levent Alpöge ile Navier-Stokes çözümüne yaklaşan matematikçi Tristan Buckmaster, OpenAI'ı yaklaşımlarını öğrenmekle ve ilk yayınlayan olmak için yarışmakla suçladı. Buckmaster'a göre OpenAI, Alpöge'yi bırakması durumunda onu makalelerine dahil etmeyi teklif etti. NPR'ye konuşan Buckmaster, "Ne yaptığımız hakkında gösterdiklerinden çok daha fazla bilgiye sahip olduklarına dair çok fazla dolaylı kanıt var" dedi. OpenAI, çalışmalarını kullandıklarını reddetti.npr

Sınırlı Bir Danışma Grubu

Yeni danışma grubu, Fields Madalyası sahipleri Timothy Gowers ve Martin Hairer dahil olmak üzere dokuz matematikçiyi içeriyor ve OpenAI'dan herhangi bir ücret almadan bağımsız olarak çalışıyor. Üyeler istenmeyen tavsiyelerde bulunabilir ve önerilerini yayınlayabilirler.mixed-news+1

Ancak grup yerleşik bir kısıtlamaya sahip: OpenAI'ın yeni bulguları ne kadar hızlı takip edeceği konusunda hiçbir yetkisi yok. OpenAI, "Önemli olan, grubun matematikteki iç ilerlememizi nasıl hızlandıracağımız konusunda bize tavsiyede bulunmaktan sorumlu olmayacağıdır" diye yazdı.the-decoder+1

Tarihinde sadece bir Milenyum Ödülü veren Clay Matematik Enstitüsü, 11 Eylül tarihli açıklamasında değerlendirme sürecinin "kasıtlı olarak aceleye getirilmediğini", herhangi bir ödül düşünülmeden önce nitelikli bir dergide yayınlanmasını ve ardından en az iki yıllık genel kabul görmesini gerektirdiğini belirtti. OpenAI'ın iddia ettiği sonuçların hiçbiri yayınlanmadı, bu da o saatin henüz başlamadığı anlamına geliyor.mixed-news