> They are necessarily behind the status quo.

That seems like a really bizarre way to describe a tool that solved an open Millennium Prize Problem. They are, empirically and repeatedly, ahead of the status quo.

So if your argument depends on them being behind the status quo, reality has already disproven it multiple times over.

I wasn't aware a dictionary definition solved a Millennium Prize problem. Which one and how?