You will receive the relevant link(s) to attend virtually via email.

Please join the National Academies of Sciences, Engineering, and Medicine for a meeting on July 20-21, 2026 to discuss the quickly emerging future of mathematical knowledge in the face of formalization and AI. Participants will explore how the formalization of mathematics creates infrastructure for the shared organization and verifiability of high-stakes domains. The discussion will bring together researchers from mathematics, formalization, and AI communities, as will leaders in industry, government, philanthropies, and more.