Özet

Son yıllarda, derin öğrenme yöntemleri kullanılarak geliştirilen bir çözüm, bir alandaki zor problemleri çözmek için kullanılmaktadır. Derin öğrenme modellerinin özelliği, büyük ve yoğun örneklenmiş veri setlerine ihtiyaç duymalarıdır. Zaman içerisinde geliştirilen Bilgisayar Cebiri Sistemleri, özellikle makine öğrenmesi ile çözülen sembolik matematik çözümleri alanında önemli ilerlemeler kaydetmiştir. Bu tür biçimsel sistemlerin algoritmik karar vermenin bazı yönlerinde kullanılmasının ne kadar uygun olduğu süregelen bir sorundur. Bu bildiride özellikle sembolik matematik ve Matematik eğitimi alanında yapılan bir derin öğrenme çalışması değerlendirilerek yapay zeka uygulamalarının formal önermelere uygunluğu tartışılmıştır. Sembolik hesaplama sistemleri matematik eğitimini geliştirmek için güçlü bir potansiyele sahiptir. Ayrıca, Eksiklik teoremi çerçevesinde, matematiksel bir gramer yapısı oluşturmanın Matematik eğitim sistemleri için neden tam bir çözüm olamayacağının gösterilmesi amaçlanmıştır.