> IIRC, the GapCVP results were released with a 1/n^400 complexity term, but people quickly got it down to 1/n^8 by more careful accounting.
sqrt(n) now https://github.com/Mira-acc/cvp