Unveiling the Landscape of Generative Artificial Intelligence in Education: A Comprehensive Taxonomy of Applications, Challenges, and Future Prospects