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 Science Foundation, the National Academies of Sciences, Engineering, and Medicine Board on Mathematical Sciences and Analytics convened a 3-day public virtual workshop on June 12-14, 2023, to bring together stakeholders to discuss the state of the art and current challenges and opportunities to advance research in using AI for mathematical reasoning. This publication summarizes the presentations and discussion of the workshop.
National Academies of Sciences, Engineering, and Medicine. 2023. Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop. Washington, DC: The National Academies Press. https://doi.org/10.17226/27241.
Chapters | skim | |
---|---|---|
Front Matter | i-x | |
1 Introduction | 1-4 | |
2 Overview and Grand Vision | 5-10 | |
3 Case Studies | 11-22 | |
4 Current Challenges and Barriers | 23-48 | |
5 Technical Advances Required to Expand Artificial Intelligence for Mathematical Reasoning | 49-62 | |
6 Roles for Stakeholders | 63-65 | |
7 Conclusion | 66-68 | |
Appendixes | 69-70 | |
Appendix A: Workshop Agenda | 71-74 | |
Appendix B: Biographical Information for Planning Committee Members | 75-78 |
The Chapter Skim search tool presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter. You may select key terms to highlight them within pages of each chapter.
The National Academies Press (NAP) has partnered with Copyright Clearance Center's Marketplace service to offer you a variety of options for reusing NAP content. Through Marketplace, you may request permission to reprint NAP content in another publication, course pack, secure website, or other media. Marketplace allows you to instantly obtain permission, pay related fees, and print a license directly from the NAP website. The complete terms and conditions of your reuse license can be found in the license agreement that will be made available to you during the online order process. To request permission through Marketplace you are required to create an account by filling out a simple online form. The following list describes license reuses offered by the NAP through Marketplace:
Click here to obtain permission for the above reuses. If you have questions or comments concerning the Marketplace service, please contact:
Marketplace Support
International +1.978.646.2600
US Toll Free +1.855.239.3415
E-mail: [email protected]
marketplace.copyright.com
To request permission to distribute a PDF, please contact our Customer Service Department at [email protected].