A Report on the Navier-Stokes ProblemMathematics·Research Seminar · Vladimir Šverak · University of Minnesota (previously at Clay Mathematics Institute)Vladimir ŠverakUniversity of Minnesota (previously at Clay Mathematics Institute)52:55
Computer-Assisted Proofs in Fluid PDEs using Interval ArithmeticMathematics·Research Seminar · Tristan Buckmaster · Princeton UniversityTristan BuckmasterPrinceton University56:08
A 'Deep Blue-Kasparov Moment for Mathematics': Euler Equations and AIMathematics·Research Seminar · Tristan Buckmaster · NYUTristan BuckmasterNYU1:25:34