Yapay zeka destekli matematiksel keşiflerin, insanın matematik yaşamının değerini azaltmaması gerektiğini savunan felsefi bir makale, yaygın olarak yaşayan en iyi matematikçilerden biri olarak kabul edilen UCLA matematikçisi Terence Tao'nun blogunda yayınlandıktan sonra büyük ilgi gördü. 2 Kasım'da yayınlanan "Yapay Zeka Çağında Egosuz Matematik", bilgisayar bilimcileri Karthik C. S., Amit Sahai ve Jie Xue'nin konuk yazısıdır; Tao, metni yapay zeka kullanarak yayınlanmak üzere dönüştürdüğünü belirtti. Makale, okuyucuların temel iddiasını tartıştığı Hacker News'e hızla tırmandı: Matematiğin biz doğmadan önce güzel olduğu ve değerinin, keşifleri kimin yaptığına bağlı olmadığı.

Bu eser, matematikte makine yardımının yenilikten altyapıya geçtiği bir zamanda ortaya çıkıyor. Yapay zeka, makine tarafından üretilen varsayımlar ve araştırma düzeyindeki sonuçlara katkıda bulunan yapay zeka sistemlerinin yardımıyla doğrulanan resmi kanıtlar, çalışan matematikçileri yalnızca makinelerin neler yapabileceğini değil, aynı zamanda cevap "çoğunlukla" ise meslekten geriye ne kaldığını sormaya zorladı. Makalenin cevabı, bu sezonki son dakika yapay zeka haberleri hakkındaki değerlendirmeler arasında sıra dışı: Makinelere karşı insanın önemini savunmak yerine, bu yarışmanın tamamen terk edilmesini savunuyor.

Matematiğin İki Görünümü, Tek Baskı Noktası

Yazarlar matematik felsefesindeki en eski bölünmeden başlıyorlar: Matematikçiler kendi konularını mı icat ediyorlar (kavramları tanıtmak, aksiyomları seçmek, teoriler oluşturmak) ya da onlardan bağımsız olarak var olan gerçekleri keşfediyorlar. Platoncu görüşün bu bağımsızlığın doğal bir açıklamasını verdiğini yazıyorlar: "Herkes bu gerçeği kanıtlamadan önce sonsuz sayıda asal sayı vardı." Matematiksel gerçek ne bizim tanınmamızı bekler ne de otoritesini ondan alır.

Keşif yapmanın pasiflik olmadığı konusunda uyarıyorlar. Fosil arayan bir paleontologun nerede kazılacağına karar vermesi, teknikler geliştirmesi ve eksik kalıntıların öneminin farkına varması gerekir. Benzer şekilde, matematiksel bir keşif, daha önce görünmeyen bir yapının görünür hale gelmesini sağlayacak bütün bir dilin ve çerçevenin icat edilmesini gerektirebilir. Gerçekler bizden önce gelir; onlara giden yollar baştan sona insandır.

Makale baskı noktasını bu temelden inşa ediyor: Doğru bir çıkarım, onun öneminin anlaşılmasıyla aynı şey değildir. Aksiyomatik bir sistem sınırsız sayıda çıkarım yapılmasına izin verir, ancak bunları üretme yeteneği, araştırmaya değer yönler sağlamaz. Yazarlar, "Matematiksel ifadeler aydınlatıcı olmasa da biçimsel olarak doğru olabilir" diye yazıyor. "Sayısız tanım ortaya koyabilir ve bunlarla ilgili sayısız ifadeyi kanıtlayabiliriz. Bir tanımı aydınlatıcı kılan nedir?" Bir yapay zeka sistemi resmi bir veri havuzunu geçerli ancak motivasyonsuz sonuçlarla doldurduğunda ortaya çıkan soru tam olarak budur.

Değeri Makineyle Belirleme Tuzağı

Makalenin en keskin argümanı, mevcut yapay zeka söyleminde yaygın olan bir hareketi hedef alıyor: Makinelerin henüz yapamadığı her şeye geri çekilerek insan değerini korumak. Yazarlar, "Cevap sadece yaratıcılık, sezgi veya zevk gibi insana özgü yeteneklere sığınmak olamaz" diyor. "Eğer bu yeteneklere öncelikli olarak bize makinelere karşı avantaj sağladıkları için değer veriyorsak, aynı entelektüel değer anlayışı içinde sıkışıp kalırız. Neden uğraşımızın değeri bu konuda bir başkasından ya da bir şeyden daha iyi olmamıza bağlı olsun ki?"

Eleştiriyi akademik yaşamın teşvik edici yapısına kadar genişletiyorlar. Yazarlar, yayınların, alıntıların ve ödüllerin yararlı göstergeler olduğunu kabul ediyorlar, ancak çalışmanın değerini tanımladıklarında patolojik hale geliyorlar. Bu şekilde ölçüldüğünde, matematikçiler üretken yeteneklerin toplamı haline gelir ve matematik de onların çıktısı haline gelir; bu, bir insanı geride bırakan bir makinenin basitçe kazandığı bir çerçevedir. Makale, başlığında belirttiği alternatifi öneriyor: Egosuz matematik; değerin, onu üretmedeki öncelikten ziyade hakikatle temastan kaynaklandığı bir uygulama.

Bu görüşe göre, yapay zeka tarafından yapılan keşifler ne acıya ne de statü kaygısına neden oluyor. Yazarlar, "Bir gerçek erişilebilir hale geldi; onun değeri bizim yazarlığımızın yokluğuyla azalmaz" diye yazıyor. Hatta makaleyi, her ikisinin de matematiğin kendisine yönelik aynı temel bağlılığı yansıtabileceğini öne sürerek, artık pek çok matematik bölümünü (yapay zeka araçları konusunda istekli olanlar ve prensip olarak çekimser olanlar) bölen iki taraf arasında bir barış anlaşması olarak bile sunuyorlar.

Bir Ramanujan Düşünce Deneyi Kapatılacak

Makale matematik tarihinden alınan bir düşünce deneyiyle sona eriyor. Ramanujan'ın şöyle dediği bildirildi: "Bir denklemin benim için bir Tanrı düşüncesini ifade etmedikçe hiçbir anlamı yoktur" - yazarların Robert Kanigel'in 1991 tarihli "Sonsuzluğu Bilen Adam" adlı biyografisinden alıntıladıkları bir cümle (1991'de yayınlandı, 1992 baskısından alıntı). Bugün hayatta olsaydı ve yapay zekanın matematikteki ilerlemelerine tanık olsaydı, bunların bir matematikçi olarak amacı açısından ne anlama gelebileceği onu rahatsız eder miydi?

Yazarlar kendi duruşları konusunda dürüsttürler. Makalenin idealini ulaşmak istedikleri şey olarak tanımlayarak, "Biz, bu makalenin yazarları, böylesi bir egosuzluğa ulaşmaktan hâlâ çok uzaktayız" diye itiraf ediyorlar. Ve tüm bunların matematikçilerden aziz olmalarını istemek gibi göründüğü şeklindeki bariz itirazı da tahmin ediyorlar. "Bizden erdem içinde gelişmemizi ve kendi önemimize olan bağlılığımızdan vazgeçmemizi istediği sürece, bu izlenim gerçeklerden uzak değildir" diye yazıyorlar ve anlama sevincinin, rakiplerden üstün olmanın tatmininden daha kalıcı olduğunu savunuyorlar.

Argümanın çalışan matematikçileri ikna edip etmediği ayrı bir soru; makaledeki yorum başlıkları, akademik kariyer ekonomisinin felsefeyi lüks haline getirdiğini düşünen birçok şüpheciyi gösteriyor. Ancak o anın bir belgesi olarak gerçek bir şeyi yakalıyor: Yapay zekanın ilerleyişine en yakın alanlar, çalışmalarının neden önemli olduğunu açıklamakta en çok zorlananlar ve matematiğin en çok izlenen seslerinden biri artık platformunu kıyaslamalardan, üretkenlikten veya ulusal rekabetten bir kez bile bahsetmeyen bir yanıta ödünç verdi.

---

Yapay Zekanın Önünde Olun

En son yapay zeka haberlerini, analizlerini ve buluşlarını tek bir yerden alın.

Daha fazla AI haberini okuyun →