The National Academies of Sciences, Engineering, and Medicine are hosting a virtual workshop on June 12-14, 2023 to discuss the state of the art, current challenges, and opportunities for using AI for mathematical reasoning. Speakers will explore the use of AI for mathematical discovery as well as for automated theorem proving. The event will bring together academic, industry, and government stakeholders to discuss emerging research opportunities and ways to collaborate among interdisciplinary research communities.

Attendance is free and open to the public. More information, including registration and the agenda, can be found on the event webpage:

https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop