## Video From 20w5144: Proof Complexity

Tuesday, January 21, 2020 10:01 - 11:01
and Edward Hirsch: Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?