X-CGP-ClamAV-Result: CLEAN X-VirusScanner: Niversoft's CGPClamav Helper v1.25a (ClamAV 1.1.0/27043) Return-Path: Sender: To: CNI-ANNOUNCE Date: Tue, 26 Sep 2023 21:15:03 -0400 Message-ID: X-Original-Return-Path: Received: from [12.86.123.90] (account clifford@cni.org HELO [172.20.40.206]) by cni.org (CommuniGate Pro SMTP 7.1.4) with ESMTPSA id 41234165 for cni-announce@cni.org; Tue, 26 Sep 2023 19:54:26 -0400 X-Original-Date: Tue, 26 Sep 2023 19:54:25 -0400 From: Cliff Lynch X-Original-To: cni-announce@cni.org X-Original-Message-ID: <20230926195425909926.a84600ef@cni.org> Subject: National Academies Report on Workshop on AI to support Mathematical Reasoning MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mailer: GyazMail version 1.7.1 This summer, on June 12-14, I was fortunate to be able to attend a virtual workshop convened by the US National Academies on the applications of Ai technology to support Mathematical Reasoning. This was a very wide-ranging discussion which I found to be extremely informative. Recently, the Academies have published an open access summary of this workshop, which can be found at https://nap.nationalacademies.org/catalog/27241/artificial-intelligence-to-assist-mathematical-reasoning-proceedings-of-a-workshop Today, September 26, 2023, the Academies also hosted a one-hour webinar summarizing the workshop and the report. This was recorded and is available at https://www.nationalacademies.org/event/40903_09-2023_artificial-intelligence-to-assist-mathematical-reasoning-webinar The videos and related materials from the June 2023 workshop are still available at https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop Clifford Lynch Director, CNI