Artificial Intelligence to Assist Mathematical Reasoning

Proceedings of a Workshop

Engineering National Academies of Sciences and Medicine, Division on Engineering and Physical Sciences, Board on Mathematical Sciences and Analytics (Autoren)

Buch | Softcover

88 Seiten

2023
National Academies Press (Verlag)
978-0-309-71025-1 (ISBN)

Artikel merken

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.

Table of Contents

Front Matter
1 Introduction
2 Overview and Grand Vision
3 Case Studies
4 Current Challenges and Barriers
5 Technical Advances Required to Expand Artificial Intelligence for Mathematical Reasoning
6 Roles for Stakeholders
7 Conclusion
Appendixes
Appendix A: Workshop Agenda
Appendix B: Biographical Information for Planning Committee Members

Erscheint lt. Verlag	13.6.2024
Verlagsort	Washington
Sprache	englisch
Maße	152 x 229 mm
Themenwelt	Mathematik / Informatik ► Informatik
Themenwelt	Mathematik / Informatik ► Mathematik
ISBN-10	0-309-71025-1 / 0309710251
ISBN-13	978-0-309-71025-1 / 9780309710251
Zustand	Neuware