Aaron_Scher comments on Catch-Up Algorithmic Progress Might Actually be 60× per Year