AI for Formal Math, and Physics, and why they're differentPerimeter Institute for Theoretical PhysicsSaveApr 15, 2026Artificial IntelligenceVideo · 1 h 16 min