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