Completed
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.
Events
Events
Right Now & Next Up
Stay in the loop with can’t-miss sessions, live events, and activities happening over the next two days.
NAS Building Guided Tours Available!
Participate in a one-hour guided tour of the historic National Academy of Sciences building, highlighting its distinctive architecture, renowned artwork, and the intersection of art, science, and culture.