Ekspertowa sztuczna inteligencja matematyczna biegła we wszystkich dziedzinach i poziomach matematyki.