They mean solve with a certain asymptotic time bound.

Edit: with that said, the title is written like they have a proof that classical computers can't match that time bound, but it's just strong evidence, which is definitely an advance, but not what the title implies.