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