Completed
Any project, supported or not by a committee, that has not deposited records to the Records Office.
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
Workshop
·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
Description
A National Academies of Sciences, Engineering, and Medicine-appointed ad hoc committee will plan and organize a workshop to explore opportunities to advance AI to assist mathematical reasoning.
This workshop will bring together academic, industry, and government stakeholders to discuss the following topics:
- State of the art of using AI for mathematical reasoning, including case studies in particular domains.
- Opportunities to advance research in AI for mathematical reasoning and potential impacts from doing so, and technical advances required to expand this initiative.
- Current challenges and barriers to the use of AI for mathematical reasoning.
- Roles for stakeholders in advancing AI for mathematical reasoning.
In addressing these topics, the workshop will bring together domain experts from mathematics, statistics, computer science, data science, and other relevant fields; highlight emerging research opportunities; and explore approaches to strengthen coordination and collaboration among the interdisciplinary research communities.
One or more rapporteurs who are not members of the committee will be designated to prepare a workshop proceeding.
Collaborators
Committee
Chair
Member
Member
Member
Member
Member
Member
Member
Member
Michelle Schwalbe
Staff Officer
Sponsors
National Science Foundation
