Is SAT/SMT and theorem provers solving yesterday's problems 1.12% better?

Lots of the successes by LLMs that have been much celebrated rely on these.