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

Artificial Intelligence to Assist Mathematical Reasoning

Artificial intelligence (AI) has the potential to aid new mathematical discoveries. Particularly as the amount of data available grows beyond what any person can study, AI can be useful in its power to identify patterns in data and refine relationships between properties. Sponsored by the National Science Foundation, the National Academies of Sciences, Engineering, and Medicine Board on Mathematical Sciences and Analytics convened a 3-day public virtual workshop on June 12-14, 2023, to bring tog...

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

Artificial Intelligence to Assist Mathematical Reasoning: Webinar

Artificial intelligence (AI) has great potential to contribute to mathematical discovery, by guiding conjecture generation, assisting in formalizing mathematics, and more. How are AI technologies being used to advance the mathematical sciences, and how can interdisciplinary collaboration open up new opportunities? Join the National Academies for a webinar on the use of AI to assist mathematical reasoning on Tuesday, September 26, 2023 from 3-4pm ET. During the webinar, speakers will discuss curr...

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

AI to Assist Mathematical Reasoning: A Workshop

A National Academies of Sciences, Engineering, and Medicine-appointed ad hoc committee will plan and organize a workshop that will bring together academic, industry, and government stakeholders to discuss the state of the art, current challenges, and opportunities to advance research in using AI for mathematical reasoning, encompassing the use of AI for mathematical discovery as well as for theorem proving. The workshop will particularly focus on exploring approaches to strengthen collaboration ...

Clifford Lynch Director, CNI