TY  - RPRT
TI  - The Gold Rush in AI4Math: Where Are We Now?
AU  - Jiashun Jin
AU  - Zheng Tracy Ke
AU  - Bingcheng Sui
PY  - 2026
UR  - https://arxiv.org/abs/2608.24961
ID  - 2608.24961
ER  -