“potentially the most important theoretical computer science advance in more than a decade”