Mailing List Message #115204
From: Cliff Lynch <>
Sender: <>
Subject: National Academies Report on Workshop on AI to support Mathematical Reasoning
Date: Tue, 26 Sep 2023 21:15:03 -0400
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

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

The videos and related materials from the June 2023 workshop are still available at

Clifford Lynch
Director, CNI
Subscribe (FEED) Subscribe (DIGEST) Subscribe (INDEX) Unsubscribe Mail to Listmaster