@misc{indiciaedbc97e905c19,
  title = {AI for Mathematics: Progress, Challenges, and Prospects},
  author = {Haocheng Ju and Bin Dong},
  year = {2026},
  url = {https://arxiv.org/abs/2601.13209},
  note = {Source identifier: 2601.13209}
}