Ju, H.; Dong, B. AI for Mathematics: Progress, Challenges, and Prospects. SI 2026, 3.