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