Djordje Milićević: Beyond the spherical sup-norm problem (NTWS 193) Number Theory Web Seminar 2 years ago Play Download
Margulis–Platonov Conjecture: OpenAI Claims a Full Proof | OpenAI Math Gradient Damage 3 days ago Play Download
The 25-Year-Old Who Proved Mathematics Could Never Be Complete Stephen Petro 3 months ago Play Download
Introduction to Proof Theory I: Sequent Calculus Computational Logic Group TU Dresden 5 years ago Play Download
