D5.E — The Surprising Power of Constant Depth Algebraic Proofs

New channel Saarland Informatics Campus: title sample judged 'pick' (Mostly solid STACS conference research talks and lecture excerpts, but mixed with career-interview, award/prize, and cam); passed a second screen for sellers/exam-prep/re-uploads; 1 of 3 sampled transcripts showed teaching, 0 not; titles picked one by one, checked strictly; oEmbed verified.