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

该奖项支持在2023年5月组织为期两天的人工智能辅助数学推理研讨会。本次研讨会汇集了学术界、工业界和政府利益相关者，讨论(1)使用人工智能辅助数学推理的技术现状，包括特定领域的案例研究；(2)推进人工智能数学推理研究的机会和由此产生的潜在影响，以及扩大这一举措所需的技术进步；(3)人工智能用于数学推理的当前挑战和障碍；(4)利益相关者在推进人工智能数学推理中的作用。研讨会视频和报告将在网上发布，一位专业的科学作家将撰写一篇简短的研讨会记录，反映研讨会的要点。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

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.