Yapay zekanın matematik alanındaki yükselişi yeni tartışmalar başlattı
Öne çıkanlar
- Modeller yüz binlerce satırlık resmi Lean kanıtları üretiyor ancak bu metinler insan diline çevrilmekte zorlanıyor.
- Özel şirketler ile kamu üniversiteleri arasındaki yapay zeka araçlarına erişim asimetrisi bilimsel bağımsızlığı tehdit ediyor.
- Akademisyenlerin fikirlerini modellere girmekten çekinmesi açık bilim kültürünü kapalı bir yapıya dönüştürüyor.
Matematikçi Francesco Maggi, büyük dil modellerinin matematiksel kanıtlar üretmedeki başarısının bilim dünyası için bir altın çağ veya karanlık çağ yaratabileceğini belirtti. Son dönemde Navier-Stokes denklemleri ve Riemann Hipotezi gibi zorlu alanlarda makinelerin ürettiği resmi Lean kanıtları dikkat çekerken, bu kodların yüz binlerce satıra ulaştığı ve insan diline anlaşılır şekilde çevrilmekte zorlandığı kaydedildi. İnsan kavrayışından kopuk bilgi üretiminin bilimin özünü zedeleyebileceği vurgulandı.
Maggi, salt problem çözmenin ötesinde yeni kavramsal çerçeveler ve matematiksel diller inşa etme süreci olan matematikleştirmenin önemini koruduğunu ifade etti. Ancak modellerin ardındaki eğitim verilerinin şeffaf olmaması, telif, atıf ve akademik akran denetimi mekanizmalarında ciddi soru işaretleri doğuruyor. Araştırmacılar, henüz yayımlanmamış fikirlerini sohbet robotlarına girmekten çekindiklerini ve bunun geleneksel açık matematik kültürünü kapalı bir yapıya dönüştürdüğünü aktardı.
Gelişmiş yapay zeka altyapılarının OpenAI gibi az sayıda özel şirketin tekelinde toplanması, kamu araştırmaları ile ticari sektör arasındaki asimetriyi büyütüyor. Maggi, yeni yetişen matematikçilerin bağımsız liyakatini değerlendirmenin zorlaştığını ve kurumsal bağımlılığın önlenmesi gerektiğini kaydetti. Üniversitelerin, fon kuruluşlarının ve bilimsel toplulukların ortaklaşa kamu yararına rekabetçi yapay zeka araştırma altyapıları inşa etmesi gerektiği belirtildi.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.