Overview
Syllabus
Intro
Theory of Computing
The 1930s
The EPR paradox (1935)
A nonlocal game
The genesis of operator algebras
A zoo of algebras
A mysterious animal
A universal machine and unsolvable problem
Verifying vs finding proofs
The proofs revolution
Verifying proofs interactively
The power of interactivity
Probabilistic checking of proofs
Interactive proofs and entanglement
The complexity of entanglement
An unexpected connection
A candidate algorithm
The proof (from a thousand miles away)
The many facets of MIP* = RE
A Frequently Asked Question
A parable
Taught by
Simons Institute