Return to Article Details AI for Mathematics: Progress, Challenges, and Prospects Download Download PDF