A National Academies of Sciences, Engineering, and Medicine-appointed ad hoc committee will plan and organize a workshop that will bring together academic, industry, and government stakeholders to discuss the state of the art, current challenges, and opportunities to advance research in using AI for mathematical reasoning, encompassing the use of AI for mathematical discovery and for theorem proving. The workshop will particularly focus on exploring approaches to strengthen collaboration among research communities. Recordings of the workshop are accessible on the event page. A 1-hour webinar summarizing workshop themes was also held after publication of the workshop proceedings.