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