Research Infrastructure: Support for a Workshop on Artificial Intelligence to Assist Mathematical Reasoning

研究基础设施：支持人工智能辅助数学推理研讨会

• 批准号: 2316144
• 负责人: Michelle Schwalbe
• 金额: $ 24.95万
• 依托单位: National Academy of Sciences
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-03-15 至 2025-02-28
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2316144&HistoricalAwards=false
• 关键词: Research; Infrastructure; Support; Workshop; Artificial

This award supports the organization of a 2-day Workshop on Artificial Intelligence to Assist Mathematical Reasoning in May 2023. This workshop brings together academic, industry, and government stakeholders to discuss the (1) state of the art of using AI to assist mathematical reasoning, including case studies in particular domains; (2) opportunities to advance research in AI for mathematical reasoning and potential impacts from doing so, and technical advances required to expand this initiative; (3) current challenges and barriers to the use of AI for mathematical reasoning; and (4) roles for stakeholders in advancing AI for mathematical reasoning. Workshop videos and presentations will be posted online and a professional science writer will author a short workshop proceeding reflecting the key points from the workshop.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该奖项支持于 2023 年 5 月组织为期 2 天的人工智能辅助数学推理研讨会。该研讨会汇集了学术界、行业和政府利益相关者，讨论 (1) 使用人工智能辅助数学推理的最新技术，包括特定领域的案例研究； (2) 推进人工智能数学推理研究的机会及其潜在影响，以及扩大这一举措所需的技术进步； （3）当前使用人工智能进行数学推理的挑战和障碍； (4) 利益相关者在推进人工智能数学推理方面的作用。研讨会视频和演示文稿将发布在网上，专业科学作家将撰写一个简短的研讨会论文集，反映研讨会的要点。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响进行评估，被认为值得支持审查标准。