Yapay zeka çağında matematikçilerin rolü yeniden tanımlanıyor

Matematikçi Jeremy Avigad, yayımladığı değerlendirme yazısında büyük dil modellerinin ve yapay zeka araçlarının matematik araştırmaları üzerindeki etkilerini ele aldı. Avigad, daha önce saygın yayınlara konu olabilecek türdeki çözümlerin artık yapay zeka desteğiyle kolayca üretilebildiğini kaydetti. Bu durumun araştırmacıları mesleğin geleceği ve yeni neslin eğitimi konusunda endişelendirdiğini belirten yazar, matematik camiasının genel tepkisinin ise beklenenden daha yapıcı ve olumlu bir zeminde ilerlediğini bildirdi.

Temel modellerin tüm matematiksel literatürü tarayabildiğini ve deneme yanılma yoluyla mevcut teknikleri birleştirmede başarılı olduğunu aktaran Avigad, buna karşın pekiştirmeli öğrenmenin uzun vadeli kavramsal yenilikleri değerlendiremeyeceğini ifade etti. Bernhard Riemann'ın 1853 yılındaki geometrik atılımlarını örnek gösteren yazar, bilimin insan merakı ve değer yargılarıyla şekillendiğini vurguladı. Yapay zekanın kendi kendine teorem üretmesinin tek başına anlam taşımadığını, keşiflerin insanlar için taşıdığı değerin belirleyici olduğunu aktardı.

Tarih boyunca cebirsel yöntemlerin veya sonsuz küçükler hesabının da ilk dönemlerinde dirençle karşılaştığını hatırlatan Avigad, yeni teknolojilere sırt çevirmek yerine sürece dahil olunması gerektiğini dile getirdi. İspat asistanları ve sinir ağları geliştiren araştırmacıların doğrudan matematik üreticisi olarak kabul edilmesini öneren yazar, akademik kurumların ve dergi yönetimlerinin mesleki normları uyarlamak adına toplantılar düzenlediğini aktardı.