JU, Haocheng; DONG, Bin. AI for Mathematics: Progress, Challenges, and Prospects. SuperIntelligence - Robotics - Safety & Alignment, [S. l.], v. 3, n. 3, 2026. DOI: 10.70777/si.v3i3.18747. Disponível em: https://s-rsa.com/index.php/agi/article/view/18747. Acesso em: 27 sep. 2026.