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