AI to Assist Mathematical Reasoning
How can new advances in artificial intelligence contribute to mathematical research? Please join the National Academies for 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.During the workshop, 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.
The workshop agenda and other details about the event will be posted on the event page.