Yapay Zeka Matematiği Yaptığında Matematikçi Olmanın Anlamı

Bu makale, matematiksel çalışmanın yapay zekâ çağında değişen doğasını ele alıyor. Yazar, eski bir uygulamalı matematik doktora öğrencisi olarak kendi zorluklarını hatırlıyor ve artık anlayışa giden uzun yolculuğun değerini kavrıyor; bu duygu, saf matematikçilerin değer verdiği bir duygu. Google DeepMind'ın yayınlanabilir araştırmalar üreten Aletheia'sı ve OpenAI'ın kombinatoryal geometride bir varsayımı çürüten sistemi gibi son yapay zekâ başarıları, yapay zekânın daha önce yalnızca insanlara özgü olduğu düşünülen görevleri üstlenebileceğini gösteriyor. Isabelle, Lean ve Rocq gibi kanıt asistanları, büyük dil modelleriyle birleşerek biçimselleştirmeyi otomatikleştiriyor. Heidelberg Laureate Forumu'nda, yapay zekânın matematikçilerin yerini alma potansiyeli tartışıldı; Yang-Hui He gibi bazıları insanları 'kahinlerin rahipleri' olarak öngörürken, Fields Madalyası sahibi Akshay Venkatesh ve Maia Fraser gibi diğerleri ise anlayışın insan merkezli değerini ve kolektif zekânın güzelliğini vurguluyor. Terence Tao, insanlar ve yapay zekânın birlikte çalıştığı işbirlikçi yaklaşımları savunuyor.