Comment Comment by cobbal That's correct. In particular, k=8000 is enough (probably much lower)https://scottaaronson.blog/?p=2725 parent cobbal 18 days ago
https://scottaaronson.blog/?p=2725