???? #115204 ?????? ?????????? CNI-ANNOUNCE@cni.org
From: Cliff Lynch <cliff@cni.org>
Sender: <cgplmgr@cni.org>
Subject: National Academies Report on Workshop on AI to support Mathematical Reasoning
Date: Tue, 26 Sep 2023 21:15:03 -0400
To: <CNI-ANNOUNCE>
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
??????????? (?????) ??????????? (????????) ??????????? (?????) ??????????? ???????? Listmaster-?