The solvers don't typically work in real time, I don't think. They take a while to crunch a hand.

"Solvers" normally means algorithms which aim to produce some mathematically optimal (given certain assumptions) behaviour.

There are other poker playing programs [0] - what we called AI before large language models were a thing - which achieve superhuman performance in real time in this format. They would crush the LLMs here. I don't know what's publicly available though.

[0] e.g. https://en.wikipedia.org/wiki/Pluribus_(poker_bot)

	▲	sejje 10 hours ago \| parent [-]
		Solvers, in a poker context, are a category of programs. They run a simulation after you enter the known information. Like piosolver, as an example. The best poker-playing AI is not beatable by anyone, so yes, it would crush the LLMs.