AGI recedes again: “If quantization fails, then also sparsification fails, and other efficiency mechanisms too. If this is true, we are close to optimal now.”