Yapay zekanın yapabileceklerine bir yenisi daha eklendi: Matematik teoremlerini kanıtlamak. Matematikçiler ve yapay zeka uzmanları, makine öğrenmesinin matematik alanında neler…