Yapay zeka teknolojileri, sadece metin yazmakla veya görsel üretmekle kalmıyor; artık yüzyıllardır çözülemeyen matematiksel problemleri de saniyeler içinde ele alıyor. OpenAI'ın henüz genel kullanıma açmadığı bir modelle elde ettiği yüzlerce matematiksel sonucu GitHub üzerinden kamuoyuyla paylaşması, bilim dünyasında şok etkisi yarattı. Ancak bu teknolojik başarı, matematikçiler arasında derin bir fikir ayrılığına yol açtı.
Hatalı sonuçlar ve doğrulama süreci
OpenAI tarafından paylaşılan 722 makalelik devasa koleksiyon, ilk aşamada büyük ilgi gördü. Ancak 7 Ekim tarihinde bir ispatta hata tespit edilmesiyle üç makale sistemden çekildi ve sayı 719'a geriledi. Şirket, sonuçların doğruluğunu kanıtlamak için Lean adlı mantıksal denetleme sistemini kullanıyor. Şu ana kadar makalelerin yaklaşık yarısı bu sistemle doğrulanmış olsa da, bağımsız matematikçiler bu sonuçların bilimsel geçerliliği konusunda hala temkinli yaklaşıyor.
Akademik dünyada varoluşsal kriz
Yapay zekanın bu hızı, sadece bir verimlilik artışı olarak görülmüyor. Fields Madalyalı matematikçi Hugo Duminil-Copin, kendi üzerinde çalıştığı 16 problemin yapay zeka tarafından çözüldüğünü belirterek, bu durumun araştırma alanlarını yok edebileceği uyarısında bulundu.
25 Fields Madalyalı ismin imzaladığı ortak mektup ve Human Mathematics Association'ın boykot çağrısı, bilim dünyasının bu hızlı değişime karşı duyduğu rahatsızlığı gözler önüne seriyor. Eleştirilerin odağında, yapay zekanın sonuçları bir 'teknolojik güç gösterisi' gibi yığması ve bilim insanlarına bu sonuçları sindirecek zaman tanımaması yer alıyor.
Geleceğin matematikçileri nasıl yetişecek?
Tartışmanın diğer tarafında ise Timothy Gowers gibi isimler yer alıyor. Gowers, çok sayıda sonucun yayımlanmasının tek başına bir tehdit olmadığını, asıl sorunun genç araştırmacıların motivasyonu olduğunu savunuyor.
Çözülmemiş problemlerin, yeni nesil matematikçilerin yetişmesinde bir 'eğitim aracı' olduğunu belirten uzmanlar, yapay zekanın bu süreci nasıl dönüştüreceğini merak ediyor. OpenAI ise gelen tepkiler üzerine, matematikçilerin bu sonuçları incelemesi için çalıştaylara ve özel araştırma programlarına finansal destek sağlayacağını duyurdu.
