Speaker
Olaf Hohm
Description
"I will make the case for mathematical physics in general and for the need to formalize QFT and Quantum Gravity in particular, especially in light of AI. Such formalizations seem necessary in order to consolidate (and eventually computer-verify) results in formal high-energy theory and quantum gravity, which have weak community standards. I argue that a significant collection of results in high-energy theory can and should be formalized in terms of ‘homotopy-type’ techniques, and I present three examples that I am currently working on: 1) color-kinematics duality; 2) AdS mass spectra of SUGRA and cosmological perturbation theory;
and 3) QFT as factorization algebras."