New proof dramatically compresses space needed for computation | Heykuki News