Multilinear Formulas and Skepticism of Quantum Computing Scott Aaronson, UC Berkeley Trailers for Future Talks The Proving Of DocumentarySpanish Version.