OpenAI’ın matematik alanındaki çalışmaları son dönemde yoğun ilgi görüyor. Yapay zekâ destekli keşifler, yayınlanmamış modellerin problem çözme performansı ve akademisyenlerle iş birliği gündemi belirliyor.
OpenAI, yapay zekâ modellerinin 1999'dan beri süregelen Üstel Zaman Hipotezi'ni çürütecek bir algoritma bulduğunu duyurdu. Açıklama kripto piyasasında Ethereum ile karıştırılarak tepki çekerken, hipotezin kurucuları bağımsız incelemeye başladı. Anthropic de benzer bir çalışma paylaşarak yarışın kızıştığını gösterdi.
OpenAI, uzun süredir çözülemeyen matematik sorularına çözüm içeren yüzlerce makaleyi yayınlamasından bir ay bile geçmeden matematik, bilgisayar bilimi ve fizikte üç yeni büyük keşif duyurdu. Bu kez şirket, bilgisayar bilimi ve fizik sonuçlarını dış uzmanların denetimine açarken matematik problemi için model çıktısını doğrudan araştırmacılara bıraktı. Keşiflerin doğrulanması için Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams gibi isimlerin yer aldığı uzman grupları görevlendirildi.
OpenAI bu hafta matematik alanında yaklaşık 400 yapay zekâ üretimi sonuç ve 700’den fazla makaleyi yayımladı. Matematikçiler hacmin şaşırtıcı olduğunu söylerken, çalışmaların büyük kısmının henüz doğrulanmadığını ve anlaşılmasının yıllar sürebileceğini belirtiyor. Alanında yıllar süren araştırmaların bir anda etkisiz hale geldiği endişesi hakim.
OpenAI, henüz yayınlanmamış iç bir modelle üretilen 722 matematik makalesini GitHub’da paylaştı. Makalelerin büyük bölümü Lean ile doğrulanmamış durumda ve tek istemle tek ajan iddiası bağımsız olarak doğrulanamıyor. Matematikçiler modelin ve istemlerin açıklanmasını, Institute for Advanced Study ise insan anlaşılabilirliğinin önemini vurguladı.
OpenAI, henüz duyurulmamış bir öncü modelle çözülen uzun süredir açık olan matematik problemlerini içeren 722 makalelik bir paket paylaştı. Yayın, matematik camiasında hem hayranlık hem de etik tartışmaları yaratan bir dizi buluşu daha genişletiyor. Bağımsız danışma grubu AGMAI, sonuçların sorumlu şekilde duyurulması için önerilerde bulunmuştu.
OpenAI, matematikte etkileyici atılımlar yapıp duyururken sürekli fiyasko yaşıyor. Şirket, ilişkileri onarmak için bağımsız bir danışma grubu kurduğunu açıkladı ancak matematikçiler grubun bağımsızlığı konusunda kafa karışıklığı yaşıyor. Yayınlanmamış modelinin yüzlerce açık problemi çözdüğünü söyleyen OpenAI, bu durumun araştırmacılarda kaygı ve güvensizlik yaratmasına neden oluyor.
OpenAI, matematik alanındaki duyurular yüzünden oluşan itibar krizinin ardından bağımsız bir danışma paneli kurduğunu açıkladı. Dokuz seçkin matematikçiden oluşan AGMAI grubu Princeton’daki Institute for Advanced Study bünyesinde faaliyet gösterecek. Akademisyenler grubun bağımsızlığı, etkisi ve matematik topluluğunu temsil edip edemeyeceği konusunda şüphelerini dile getiriyor.
OpenAI, Navier-Stokes denklemlerini çözdükten sonra ikinci bir Millennium Prize Problemi üzerinde önemli ilerleme kaydettiğini New York Times’a bildirdi. Şirket hangi problem olduğunu açıklamadı, ancak spekülasyonlar Hodge Sanısı’na odaklanıyor. Clay Institute’un incelemesi devam ederken Tristan Buckmaster ile kredi anlaşmazlığı da çözülmedi.
Fields Madalyası sahibi yirmi beş önde gelen matematikçi, yapay zeka laboratuvarlarının ünlü problemlere çözüm yarışını eleştiren açık bir mektup yayımladı. OpenAI, CalTech'teki bir etkinliğin sponsorluğundan çekilirken NYU profesörü Tristan Buckmaster şirketi atıf baskısıyla suçladı. Mektup, doğrulanmamış ispatların ve kapalı araştırma kültürünün matematik topluluğuna zarar vereceği uyarısında bulunuyor.
UCLA profesörü Terence Tao, yapay zekanın verimli açık matematik problemleri stokunu matematikçilerin yeni sorular bulmasından daha hızlı tükettiğini savunuyor. Son haftalarda OpenAI ve Anthropic modellerinin onlarca yıllık problemleri saatler içinde çözmesi, Tao'nun endişelerini güçlendiriyor.
Anthropic'in yayımlanmamış bir modeli, Riemann hipotezi olarak bilinen matematiğin en büyük çözülmemiş problemlerinden biri üzerinde önemli ilerleme kaydetti. Bu model, 650 farklı fikir denedi ve 60 alt-ajan ile birlikte çalışarak 31 milyon işlem gerçekleştirdi.
OpenAI'nin yapay zeka modeli Astra, on yıllardır çözülemeyen 10 önemli matematik problemini çözerek bilim dünyasında büyük bir yankı uyandırdı. Matematikçiler bu gelişme karşısında heyecan ve umutsuzluk arasında sıkışırken, yapay zeka şirketlerinin ticari çıkarları ve akademik liyakat konusundaki adaletsizlikler de tartışma yarattı.
Matematikçiler, yerel temsil, ulusal orantılı sonuçlar ve sabit büyüklükte bir parlamentin dengelenmesi için hiçbir seçim sisteminin mükemmel bir şekilde çalışamayacağını kanıtladı. Yeni önerilen bir oylama yöntemi ise bu kaçınılmaz trade-offları yumuşatabilir ve daha adil sonuçlar üretebilir.