Grant Sanderson matematik camiasına kanıt yerine kavrayışı ödüllendirme çağrısı yaptı

Matematik anlatıcısı Grant Sanderson, Terence Tao'nun kişisel blogunda yayımladığı misafir yazıda akademik matematik dünyasının ödüllendirme mekanizmasını eleştirdi. Sanderson, yapay zeka modellerinin kanıt üretme sürecini hızlandırdığı mevcut dönemde, açık problemleri çözmenin matematikçilerin asıl amacı olan insan kavrayışını genişletmek için tek gösterge olamayacağını savundu. Kanıtların bağlamından kopuk üretilebildiğine değinen Sanderson, araştırmacıların bu dönüşüm karşısında kavrayışı önceleyen bir kültüre odaklanmasını istedi.

Yazıda teknik olarak tanımlanan gerekçelendirilmiş açıklamaların, açık kanıtlar kadar akademik itibar görmesi gerektiği kaydedildi. Formel kanıtların yalnızca teoremin doğruluğunu kanıtladığını, iyi yapılandırılmış bir açıklamanın ise kavramın neden ortaya atıldığını ve sezgisel dayanaklarını aydınlattığını belirten Sanderson, William Thurston ve Timothy Gowers gibi ödüllü matematikçilerin kariyerlerindeki anlatım çalışmalarını örnek gösterdi. Sanderson, salt sonuç odaklı makalelerin yerine problemi doğuran temel fikri aktaran metinlerin değer bulması gerektiğini vurguladı.

Akademi için somut adımlar sıralayan Sanderson, açık anlatım problemlerini derleyecek listeler oluşturulmasını, doktora süreçlerinde sözlü aktarımın zorunlu kılınmasını ve atama kriterlerinde ders kitapları ile kavramsal izahatların puanlanmasını önerdi. Yapay zeka tarafından bulunan çözümlerin henüz çözülmemiş bir anlatım sorunu doğurduğunu belirten Sanderson, matematik topluluğunun bu zihniyet değişimini kurumsallaştırmasının mesleğin gelecekteki konumunu güvence altına alacağını kaydetti.