New Proof Dramatically Compresses Space Needed for Computation

Surprising new work bucks 50 years of assumptions about the trade-offs between computation space and time