Mathematics of the impossible: Update

I just posted an update. Some new things are the algebraic complexity section, now with a lower bound for constant-depth circuits, and the section on interactive proofs within P.