Organizing Mathematical Knowledge in the Age of AI and Formalization

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.

Full event details

When:

Day 1: Monday, July 20, 2026, 9 a.m. - 5 p.m. (UTC-04:00) Eastern Time (US & Canada)

Day 2: Tuesday, July 21, 2026, 9 a.m. - 4 p.m. (UTC-04:00) Eastern Time (US & Canada)

Where:

Attend virtually: 

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

Attend in person:

National Academy of Sciences Building