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

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

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.