H. Ju and B. Dong, “AI for Mathematics: Progress, Challenges, and Prospects”, SI, vol. 3, no. 3, Sep. 2026.