TY  - RPRT
TI  - AI for Mathematics: Progress, Challenges, and Prospects
AU  - Haocheng Ju
AU  - Bin Dong
PY  - 2026
UR  - https://arxiv.org/abs/2601.13209
ID  - 2601.13209
ER  -