OpenAI ve Matematikçiler Arasındaki İhtilaf Büyüyor

Son dönemde, 25 önde gelen matematikçi, yapay zeka laboratuvarlarının kendi entelektüel çalışmalarını tehdit ettiğini belirten bir açık mektup imzaladı. Bu matematikçiler, alanında en prestijli ödül olarak kabul edilen Fields Madalyası'nın sahibi. Mektupta, AI laboratuvarlarının ünlü matematik problemlerine çözümler bulma yarışında birbirlerini geçmeye çalıştıkları ve bu süreçte matematik camiasının katkılarına yeterince değer vermedikleri ifade ediliyor.

NYU profesörü Tristan Buckmaster, bu hafta OpenAI'yi, Anthropic'te çalışan bir işbirlikçisine kredi vermemesi için baskı yapmakla suçladı. Buckmaster, OpenAI'nin Codex ile olan çalışmalarını kullanarak önemli bir matematik problemini çözmek için kendi kanıtlarını ürettiğinden şüpheleniyor. Bu durum, matematik dünyasında ciddi bir tartışma başlattı.

Geçtiğimiz günlerde, OpenAI, CalTech'teki bir matematik etkinliğine sponsorluğunu geri çekti. Bu karar, üniversitedeki araştırmacılardan gelen eleştirilerin ardından alındı. Matematik camiası, AI modellerinin dünya çapındaki matematiksel zorlukları çözme yeteneğinin insanlık için faydalı olabileceğini kabul etse de, bu çözümlerin matematik topluluğu ve nihayetinde tüm dünya tarafından anlaşılabilir ve iletişim kurulabilir olması gerektiğini savunuyor.

Mektupta, "Çoğu zaman bu çözümler aceleyle duyuruluyor, bu da uygun bir yazım için zaman bırakmıyor ve yeni yöntemlerin ve fikirlerin izolasyonuna yol açıyor" deniliyor. Ayrıca, OpenAI'nin kanıtının henüz doğrulanmadığına dikkat çekiliyor. Matematikçiler, yaratıcı mesleklerde olduğu gibi, bu durumun ciddi atıf ve intihal soruları doğurduğunu vurguluyor.

Diğer matematikçilerin, Codex kullanımının OpenAI’nin yeni modellerine nasıl etki ettiğini düşünmeleri, açık araştırma kültürünün tehdit altında olduğu hissini artırıyor. Günümüzde, öncü laboratuvarlar, keşif yolunda faydalı bir yol gördüklerinde, orijinal araştırmacılara ulaşmadan önce kanıt elde etmek için milyonlarca dolar harcayabiliyor. Bu durum, gizliliği teşvik eden bir dinamiğe yol açıyor.

Bu mektup, Haziran ayında yayımlanan Leiden Deklarasyonu'nu takip ediyor. Bu belge, LLM kanıtlarının matematikçilerin çalışmalarını nasıl değiştireceğini ele alıyor ve matematikçiler, kurumlar ve politika yapıcılar için bir dizi öneri sunuyor. Yapay zeka araçlarının iş akışlarını değiştirdiği yazılım mühendisliği gibi alanlarda, matematikçiler de bu değişimlerin gerekçelerini buluyor. Matematikteki değer, yalnızca kanıtlar ve kimin kredi aldığı değil, aynı zamanda öğrencileri besleyen, yeni sorular ve fikirler bulan ve bunları daha geniş insan medeniyetine entegre eden entelektüel yapıdadır.

Sonuç olarak, matematik topluluğunun şu anda karşılaştığı sorunlar, diğer bilimsel ve yaratıcı mesleklerin karşılaştığı sorunlara benzer. Bu durum, tüm insanlığın karşılaşabileceği sorunları da işaret ediyor: AI iş yapma biçimimizi değiştirdikçe, bu çalışmaların ilk başta neyi başarmayı amaçladığını gözden kaçırmamamız gerektiği.