Ju, H. and Dong, B. 2026. AI for Mathematics: Progress, Challenges, and Prospects. SuperIntelligence - Robotics - Safety & Alignment. 3, 3 (Sep. 2026). DOI:https://doi.org/10.70777/si.v3i3.18747.