FYI:Organizing Mathematical Knowledge in the Age of AI and Formalization

3 views

Skip to first unread message

Alex Shkotin

unread,

Jul 18, 2026, 4:57:47 AM (4 days ago) Jul 18

to ontolog-forum

https://www.nationalacademies.org/cdn/materials/a243eb54-114f-4305-a642-a077ac3d6470

MONDAY, JULY 20, 2026 (ALL TIMES ET)

9:00 a.m. Introduction and Motivations

Terence Tao (UCLA)

...

11:15 a.m. Formally Verified Knowledge as Infrastructure for Math, Science, and Technology

Ken Ono (University of Virginia and Axiom Math)

...

1:30 p.m. Panel on Structures to Understand Knowledge

Moderated by Lauren Williams (Harvard University)

Andrea Ferrari (University of Cambridge)*, Benjy Firester (Massachusetts Institute of Technology),Xinze Li (University of Toronto), Kim Morrison (Lean FRO)

...

4:00 p.m. Beyond Mathematics: Formalized Knowledge in Science and Engineering

Moderated by Simone Severini (Google)

Scott Duke Kominers (Harvard Business School)*, Sabrina Pasterski (Perimeter Institute forTheoretical Physics), Natarajan Shankar (SRI International)*, Joseph Tooby-Smith (University ofBath)

TUESDAY, JULY 21, 2026

9:00 a.m. Welcome Back: Future Visions for Formalization

Andrew Blumberg (Columbia University)

9:45 a.m. Panel on Infrastructure for Mathematical Knowledge

Moderated by Ravi Vakil (Stanford University and AMS)

Stella Biderman (EleutherAI), Alexander Hicks (Ethereum Foundation), Jared Duker Lichtman(Stanford University), Bernie Wang (NTT Data AIVista)

...

Thanks to Michael DeBellis for the link https://www.nationalacademies.org/units/DEPS-BMSA-22-P-451/event/46979