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.
Featured publication
Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop
Proceedings
·2023
Artificial intelligence (AI) has the potential to aid new mathematical discoveries. Particularly as the amount of data available grows beyond what any person can study, AI can be useful in its power to identify patterns in data and refine relationships between properties. Sponsored by the National S...
View details