Artificial Intelligence to Assist Mathematical Reasoning
Proceedings of a Workshop
Häftad, Engelska, 2023
Av and Medicine National Academies of Sciences, Engineering, Division on Engineering and Physical Sciences, Board on Mathematical Sciences and Analytics, National Academies of Sciences Engineeri, Division on Engineering and Physical Sci, National Academies of Sciences Engineering and Medicine, Samantha Koretsky
389 kr
Tillfälligt slut
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 ContentsFront Matter1 Introduction2 Overview and Grand Vision3 Case Studies4 Current Challenges and Barriers5 Technical Advances Required to Expand Artificial Intelligence for Mathematical Reasoning6 Roles for Stakeholders7 ConclusionAppendixesAppendix A: Workshop AgendaAppendix B: Biographical Information for Planning Committee Members
Produktinformation
- Utgivningsdatum2023-12-10
- Mått152 x 229 x undefined mm
- FormatHäftad
- SpråkEngelska
- Antal sidor88
- FörlagNational Academies Press
- ISBN9780309710251