Name
Day 2 (In-person) | Organizing Mathematical Knowledge in the Age of AI and Formalization
Date & Time
Tuesday, July 21, 2026, 9:00 AM - 4:00 PM
Location
National Academy of Sciences Building
2101 Constitution Ave NWWashington D.C. 20418
About this Session
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.