Yapay Zeka Matematiği Bitirebilir mi?