National Academies meeting on organizing mathematical knowledge

Matthew Ballard participated in the National Academies of Sciences, Engineering, and Medicine meeting Organizing Mathematical Knowledge in the Age of AI and Formalization in Washington, D.C. The two-day meeting examined how formalization and AI are changing the creation, organization, verification, and use of mathematical knowledge.

Ballard served on the opening Panel on the Current Landscape and Challenges in Formalization and AI, moderated by Melanie Matchett Wood, together with Javier Gómez-Serrano, Jesse Han, Jaume de Dios Pont, and Jason Reed. The event page has more information.