Video Lectures

We prove a \(\tilde{\Omega}(n^{1/5})\) lower bound on the query complexity of any non-adaptive two-sided error algorithm for testing whether an unknown n-variable Boolean function is monotone versus constant-far from monotone. This gives an...

The distinguished Argento Ensemble performed Sebastian Currier’s "Deep-Sky Objects"—a cycle of songs with text by Sarah Manguso that portray longing and desire on an intergalactic scale—as well as "Das Lied von der Erde" by Mahler, arranged by...

In Voevodsky’s experience, the work of a mathematician is 5% creative insight and 95% self-verification. Moreover, the more original the insight, the more one has to pay for it later in self-verification work. The Univalent Foundations project...