I think it is though-
“ TurboQuant, QJL, and PolarQuant are more than just practical engineering solutions; they’re fundamental algorithmic contributions backed by strong theoretical proofs. These methods don't just work well in real-world applications; they are provably efficient and operate near theoretical lower bounds.”
I also instinctively reacted to that fragment, but at this point I think this is overreacting to a single expression. It's not just a normal thing to say in English, it's something people have been saying for a long time before LLMs existed.
I read "this clever step" and immediately came to the comments to see if anyone picked up on it.
It reads like a pop science article while at the same time being way too technical to be a pop science article.
Turing test ain't dead yet.
Maybe they quantized a bit too much the model parameters...
Genius new idea: replace the em-dashes with semicolons so it looks less like AI.