Stephen Wolfram matematiği otomatikleştiren bir yazılım geliştirmek için kırk yılını harcadı ve şimdi kendini yapay zekanın işi bitireceği fikrine karşı direnirken buluyor. Fizikçi ve Wolfram Research kurucusu, Writings blogunda yayınlanan ve bu hafta sonu Hacker News'te yeniden alevlenen tartışmayı yeniden alevlendiren "Yapay Zeka Çağında Saf Matematik Araştırmasının Geleceği Nedir?" başlıklı uzun makalesinde, saf matematiğin yapay zekaya devredilmesi çağrılarının, kendi deyimiyle, matematiğin ne olduğu ve yapay zekanın ne yaptığı konusundaki "temel yanlış anlamalar"a dayandığını savunuyor.
Wolfram makalenin açılışında şöyle yazıyor: "Manşetler gelmeye devam ediyor: filanca yapay zeka sistemi falanca matematik problemini çözdü." Kendisi, bu manşetlerin ardından tanıdık bir sonucun (insan matematikçilere artık ihtiyaç duyulmayabileceği) ve kendi alanının tarihini göz ardı eden argümanlar konusunda gösterdiği sabırsızlığın geldiğini söylüyor. For more context on this story, see our ongoing AI news.
Mathematica'nın Emsali
Wolfram'ın karşı argümanı kişisel tarihle başlıyor. Mathematica 1988'de piyasaya sürüldüğünde, matematiğin otomatikleşerek anlamsız hale geleceğine dair benzer konuşmaların olduğunu anımsıyor. Olay bu şekilde sonuçlanmadı. Yazılım bazı mekanik görevlerin yerini aldı - "Matematik yapmanın asıl amacı sembolik integralleri çözmekse, o zaman evet, aslında Mathematica onun yerini aldı" diye yazıyor - ancak saf matematiğin özüne, disiplini tanımlayan kısma dokunulmamıştı. Bunun yerine otomasyon, matematik uygulayıcılarının ulaşabileceği düzeyi yükseltti.
Bu ayrım önemlidir çünkü Wolfram'ın açıklamasına göre matematiksel tekniğin uygulanması matematiksel araştırmayla aynı şey değildir. Bir zamanlar kariyerleri tüketen hesaplamalar tek hatlı çağrılara dönüştü ve matematikçiler işsiz kalmak yerine soyutlama merdiveninde yukarıya doğru ilerlediler.
Yapay Zeka Matematikte Aslında Ne İşe Yarar?
Makale, modern yapay zekayı küçümsemekten uzaktır. Wolfram bunu "tartışmasız faydalı, bazen çok faydalı" olarak adlandırıyor ve matematiğe en büyük katkısını, alandaki birikmiş bilginin çıkarılması yeteneği olarak tanımlıyor. 1970'lerde bir araştırmacı literatürdeki anahtar kelime aramalarına güvenirken, modern sistemler hiçbir insanın aklında tutamayacağı iş grupları arasındaki bağlantıları ortaya çıkarabilir.
Sonuçların yeni sonuçlara dönüştürülmesiyle ilgili olarak "İnsanlar da bunu rutin olarak yapıyor" diye yazıyor. "Fakat onlar genellikle yalnızca yüzlerce makale okumuşlardır; yapay zekalar ise fiilen milyonlarca makaleyi okumuştur." Asimetri, yapay zekayı bilinen sonuçların şaşırtıcı kombinasyonlarını bulma konusunda güçlü bir işbirlikçi haline getiriyor.
Ancak geri getirme ve rekombinasyonun sınırda katı bir sınırla karşılaştığını savunuyor. "Harika matematik, her şeyden çok, sorduğu sorularla tanımlanır." Ve ona göre sorular insanın hayal gücünden geliyor. Bir yapay zeka, matematikçilerin daha önce kendilerinin yapması gereken şeyleri otomatik hale getirebilir; henüz neyin yapılmaya değer olduğuna karar veremez.
Hesaplama Anlam Değil Teoremler Üretir
Makalenin en keskin kısmı, modern yapay zekayı ham hesaplamadan ayırıyor; Wolfram'ın 1980'lerde hücresel otomatlar üzerine yaptığı çalışmalardan bu yana geliştirdiği bir ayrım. Saf hesaplamanın sonsuz bir şekilde yeni teoremler üretebileceğini belirtiyor; sürpriz ve özgünlükle tamamlanan, yapay zeka gerektirmeyen sonsuz sayıda matematiksel gerçek. Onun hesaplamaya dayalı indirgenmezlik kavramı, basit kuralların hiçbir kısayolun tahmin edemeyeceği sonuçlar üretebileceğini ima ediyor.
Ancak bu şekilde üretilen teoremler, onun deyimiyle, yalnızca "hesaplamalı evrenden elde edilen sonuçlardır." Bir sonucu matematiğe yükselten şey, onun insanların anlamlı bulduğu bir yapıdaki yeridir; hiçbir üretim sürecinin sağlayamayacağı bir önem yargısıdır.
Saf Matematik Neden Var?
Bu iddianın altında yatan şey, matematiğin bir yığın doğru ifadeden ziyade bir insan kurumu olduğu görüşüdür. Wolfram, Platon ve Öklid'den bu yana, saf matematiğin giderek daha büyük bir yapı - "medeniyetimizin inşa ettiği en büyük entelektüel yapı" - inşa eden soyut düşüncenin tanımlayıcı örneği olduğunu yazıyor. On dokuzuncu yüzyılda soyutlamaya yönelmesi onu günlük sezgilerden ayırdı ve değeri her zaman uygulayıcıların sonsuz olasılıklar uzayının hangi kısımlarının dikkate değer olduğuna karar vermesine bağlı oldu.
Wolfram'ın kendi araştırması, olası tüm aksiyom sistemlerinin alanından, teoremler ağının sınırlayıcı yapısına ve insanların disiplini tanımlamada oynadığı role kadar bu soruyu yıllardır çevreliyor. Yeni makale, bu arka planı günümüze uyguluyor: Yapay zeka, matematik emeğinin ekonomisini önemli ölçüde değiştiriyor, ancak girişimin yönü - neyin kanıtlanacağı, neyin önemseneceği, neyin çevresel değil merkezi olarak kabul edileceği - insan mirası olarak kalıyor.
Bunların hiçbiri Wolfram'ı yapay zeka konusunda şüpheci yapmaz; şirketi makine öğrenimini ürün yelpazesinin tamamına yerleştiriyor. Bu onu kesin biri yapar. Onun vardığı sonuç, yapay zekanın matematiğe dokunulmayacağı değil, ilginç geleceğin işbirliği olduğu; makinelerin ölçeklendirme, erişim ve doğrulamayı yönetirken, insanların soruların gözetiminde kalması olduğu yönünde. Makale, matematiksel önem hesaplamadan ziyade bir yargı meselesi olduğu sürece, işle ilgili hemen hemen her şey değişse bile matematikçinin iş tanımının geçişten sonra da varlığını sürdüreceğini öne sürüyor.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
