Matematikçiler OpenAI'a karşı: 25 Fields madalyalıdan açık mektup

Matematik Dünyasında Açık Mektup

Yapay zeka laboratuvarları ile matematik camiası arasındaki gerilim, yeni bir açık mektupla daha da derinleşti. Alanın en saygın ödülü kabul edilen Fields Madalyası'na sahip 25 matematikçi, yapay zeka şirketlerinin ünlü matematik problemlerine çözüm bulma yarışında birbirini geçmeye çalışırken entelektüel emeği tehdit ettiğini savunan bir bildiriye imza attı. Fields Madalyası, dört yılda bir verilen ve genellikle 40 yaş altı matematikçilere takdim edilen, alanın en prestijli nişanı olarak biliniyor; dolayısıyla imza sahiplerinin ağırlığı, mektubun yalnızca birkaç araştırmacının kişisel rahatsızlığı olmadığını gösteriyor.

Mektubun temel kaygısı, yapay zeka modellerinin dünyanın çözülememiş matematik problemlerini çözebilmesinin insanlık için bir kazanç olabileceği, ancak bunun ancak çözümlerin matematik topluluğu ve nihayetinde dünyanın geri kalanı tarafından anlaşılabilmesi ve aktarılabilmesi durumunda geçerli olacağı yönünde. İmzacılar, "Bu çözümler genellikle aceleyle duyuruluyor; düzgün bir yazım, yeni yöntem ve fikirlerin ayrıştırılması ve başkalarının ilgili önceki çalışmalarına atıf yapılması için zaman kalmıyor" ifadelerini kullandı. Burada altı çizilen nokta şu: Matematikte bir kanıtın değeri, yalnızca doğru olmasından değil, aynı zamanda başka matematikçilerin onu okuyup doğrulayabilmesinden, üzerine inşa edebilmesinden ve genişletebilmesinden gelir. Hızlı duyurulan, yazıya dökülmemiş bir sonuç bu zinciri kırıyor.

Atıf ve İntihal Soruları

Mektupta dikkat çeken bir diğer nokta, yapay zekanın ürettiği kanıtların doğrulanmamış olması. İmzacılar, tüm yaratıcı mesleklerde olduğu gibi bunun ciddi atıf ve intihal sorularını gündeme getirdiğini belirtiyor. Ayrıca, matematikçilerin gelişim ve entegrasyon süreçlerine gönüllü katkı sağlamaması durumunda, yapay zekanın tasarladığı fikirlerin asla tam anlamıyla hayat bulamayacağını ve matematikçiler arasındaki kritik insan aktarım zincirinin kaybolacağını vurguluyorlar. Bu aktarım zinciri soyut bir kavram değil: Bir doktora öğrencisinin danışmanından öğrendiği sezgi, bir seminerde filizlenen soru ya da bir hakem raporundaki uyarı, matematiğin asıl motorunu oluşturuyor.

Bu tartışmalar, New York Üniversitesi profesörü Tristan Buckmaster'ın bu hafta OpenAI'ı, önemli bir matematik problemini çözen ve Anthropic'te çalışan bir iş arkadaşına atıf yapmaması için baskı yapmakla suçlamasıyla alevlendi. Buckmaster, şirketin Codex ile yaptıkları çalışmayı kullanarak bir hafta sonu boyunca süren çıkarım (inference) maratonuyla kendi çığır açan kanıtını üretip üretmediğini de sorguladı. Bu iddia, yapay zeka modellerinin eğitim verisi ile üretim süreci arasındaki sınırın ne kadar bulanıklaştığına dair daha geniş bir endişeyi temsil ediyor. Bir araştırmacının aracı kullanarak yaptığı çalışma, o aracın arkasındaki modele geri besleniyor mu? Besleniyorsa, özgün katkı kime ait?

OpenAI'ın CalTech Kararı

Perşembe günü OpenAI, CalTech'te düzenlenen bir matematik etkinliğindeki sponsorluğunu, üniversitedeki araştırmacıların eleştirilerinin ardından geri çekti. Bu hamle, yapay zeka devinin matematik camiasındaki artan baskıya yanıt olarak attığı somut bir adım olarak yorumlandı. Sponsorluğun çekilmesi sembolik görünse de, sektörde fon akışının itibar yönetimiyle ne kadar iç içe geçtiğini gösteriyor; bir laboratuvarın akademik etkinliklere verdiği destek, artık yalnızca hayırseverlik değil, aynı zamanda meşruiyet arayışının bir parçası.

Diğer matematikçiler ise giderek daha fazla paranoya yaşıyor. Codex kullanımlarının OpenAI'ın yeni modellerine beslenip beslenmediğini merak ediyorlar. Bu durum, açık araştırma kültürünün tehdit altında olduğu yönünde gerçek bir korkuyu besliyor. Bugün öncü laboratuvarlar, bir keşfe giden faydalı bir yol gördüklerinde, büyük dil modellerini (LLM) kullanarak on milyonlarca dolar harcayıp orijinal araştırmacıları bir kanıta ulaşmada geçebiliyor. Bu dinamik, gizliliği teşvik ediyor: Eğer fikrini açıkça paylaşan araştırmacı, çok daha fazla kaynağa sahip bir laboratuvar tarafından geçilecekse, insanlar en başından itibaren sessiz kalmayı seçebilir. Açık bilimin temelini oluşturan karşılıklı güven, tam da bu noktada aşınıyor.

Leiden Deklarasyonu ve Öncesi

Bu açık mektup, Haziran ayında bir matematikçi çalışma grubu tarafından yayımlanan Leiden Deklarasyonu'nun ardından geldi. Söz konusu belge de LLM kanıtlarının matematikçilerin işlerini nasıl değiştireceğini ele alıyor ve matematikçiler, kurumlar ile politika yapıcılar için bir dizi öneri sunuyor. İki belge arasındaki süreklilik dikkat çekici: Önce bir çalışma grubunun teknik önerileri, ardından alanın en üst düzey isimlerinin kamuoyu önünde uyarısı. Bu, matematik camiasının yapay zeka karşısında pasif bir izleyici olmadığını, kendi kurallarını ve sınırlarını müzakere etmeye çalıştığını gösteriyor.

Yazılım mühendisliği ve yapay zeka araçlarının iş akışlarını değiştirdiği diğer alanlarda olduğu gibi, matematikçiler de işin etrafındaki işte bir gerekçe buluyor: Matematikteki değer sadece kanıtlar ve kimin kredi aldığı değil, aynı zamanda öğrencileri besleyen, yeni sorular ve fikirler bulan ve bunları daha geniş insan uygarlığına entegre eden entelektüel üst yapıda yatıyor. Bir teoremin ispatı, o üst yapının yalnızca görünen ucudur; asıl birikim, o ispata giden yolda yetişen araştırmacılarda ve kurulan kavramsal çerçevelerde saklıdır.

Neden Önemli?

Bu tartışma yalnızca matematik dünyasını ilgilendiren dar bir mesele değil. Mektuba imza atan matematikçilerin de belirttiği gibi, matematik camiasının şu anda karşılaştığı sorunlar, diğer bilimsel ve yaratıcı mesleklerin karşılaştığı sorunlara benziyor ve tüm insanlığın karşılaşabileceği meselelere işaret ediyor: Yapay zeka iş yapma biçimini değiştirirken, o işin başlangıçta neyi başarmayı amaçladığını gözden kaçırmamayı nasıl sağlarız?

Türkiye'deki akademik ve teknoloji toplulukları için de bu soru giderek daha kritik hale geliyor. Üniversitelerde lisansüstü tezlerde yapay zeka araçlarının kullanımı yaygınlaşırken, atıf kültürü, açık bilim ilkeleri ve genç araştırmacıların yetiştirilmesi gibi konularda yeni bir denge arayışı kaçınılmaz görünüyor. TÜBİTAK ve YÖK gibi kurumların, yapay zeka destekli keşiflerin nasıl değerlendirileceği, hangi katkının kime ait sayılacağı ve hakemlik süreçlerinin bu yeni gerçekliğe nasıl uyarlanacağı konusunda şeffaf politikalar geliştirmesi gerekiyor. Aksi halde aynı atıf ve intihal soruları, Türkiye'deki araştırma ekosisteminde de kısa sürede gündeme oturacak.

Eğer yüksek riskli matematik kanıtlarının acımasız dünyası sizi pek ilgilendirmiyorsa, şunu unutmayın: Sıradaki alan sizin ilgi alanınız olabilir. Yapay zekanın iş yapma biçimini değiştirdiği her sektörde — hukuktan gazeteciliğe, tıptan tasarıma — benzer sorular kaçınılmaz olarak gündeme gelecek. Bugün matematikçilerin sorduğu "bu iş başlangıçta neyi başarmayı amaçlıyordu?" sorusu, yarın her mesleğin kendine sorması gereken soru haline gelecek.