Wat is een pokersolver? (en waarom je er geen hoeft te draaien)

Het is donderdagavond bij je vaste spel. De grootste pot van de avond bouwt zich op, je maat Dave denkt een volle minuut na, en shovet dan zijn hele stack in met een flush draw – vier kaarten richting een flush, hopend dat de vijfde komt. Dat gebeurt niet. Hij verliest de pot, en terwijl hij een rebuy aftelt haalt hij zijn schouders op en zegt: “De solver zegt dat je daar moet jammen.” Iedereen aan tafel knikt alsof daarmee de kous af is.

Jij knikt ook mee. Maar op de terugweg realiseer je je dat je geen idee hebt wat “de solver” eigenlijk is. Een programma? Een website? Een persoon? (“Jammen” ken je in elk geval wel: dat is pokerjargon voor all-in gaan.) En hoe weet Dave wat dit solverding zegt over een willekeurige hand uit zijn garagespel?

Terechte vragen. Solvers zijn het belangrijkste dat pokerstrategie in decennia is overkomen, en ook een van de meest verkeerd begrepen dingen. Laten we dus de motorkap openen: wat een solver eigenlijk is, hoe hij werkt, wat zijn antwoorden echt betekenen, en waarom je er – ondanks hoe vaak hij wordt genoemd – geen hoeft te kopen, configureren of draaien om te profiteren van alles wat hij ons heeft geleerd.

Wat een solver eigenlijk is

Een solver is software die een bijna-perfecte strategie berekent voor één precies gespecificeerde pokersituatie. Niet poker in het algemeen. Eén situatie, tot in detail uitgeschreven voordat de berekening begint.

Om die situatie op te zetten, voer je de solver vier dingen. Ten eerste, de situatie aan tafel zelf: de gemeenschapskaarten die tot nu toe gedeeld zijn en het geld dat al in de pot zit. Ten tweede, de ranges van beide spelers – een range is de complete verzameling handen die een speler realistisch gezien kan hebben gegeven de actie tot nu toe. Als iemand voor de flop raiste (de eerste drie gedeelde gemeenschapskaarten), is zijn range misschien paren, sterke azen, en wat suited handen (twee kaarten van dezelfde kleur); het is zeker niet elke mogelijke holding. Ten derde, de stackgroottes – hoeveel geld elke speler nog over heeft om in te zetten. Ten vierde, een menu van toegestane bet sizes. Je vertelt de solver dat een speler bij elke beslissing mag checken, een derde van de pot betten, drie kwart van de pot betten, of all-in gaan, en verder niets.

Dan gaat de machine aan het werk, en wat terugkomt is geen tip. Het is een complete strategie voor beide spelers: voor elke afzonderlijke hand in elke range, op elk beslismoment in de situatie, hoe vaak te betten, checken, callen, raisen of folden, plus de expected value van elke optie. Expected value, of EV, is de gemiddelde winst van een zet op de lange termijn. De solver zegt dus niet zomaar “betten is goed hier.” Hij zegt dat het betten van deze exacte hand op deze exacte grootte gemiddeld 4.31 big blinds waard is, terwijl checken 4.28 waard is. (De big blind is de verplichte inzet die de inzet bepaalt; spelers meten stacks en winsten in big blinds, zoals timmerlieden meten in centimeters.)

Hoe een solver het antwoord vindt

Hier is het deel dat de meeste mensen nooit horen, en het is verrassend simpel. Er zit geen pokerkennis geprogrammeerd in een solver. Geen wijsheid over handen lezen, geen “bluff op de enge kaarten,” geen strategieboeken omgezet in code. Een solver is gewoon twee virtuele spelers opgesloten in een kamer, die zich eindeloos aan elkaar aanpassen.

Het werkt zo. Beide virtuele spelers beginnen met min of meer willekeurige strategieën. Speler één bekijkt de strategie van speler twee en verschuift richting de zetten die daar het meeste geld tegen verdienen. Dan doet speler twee hetzelfde terug. Elke aanpassing van de ene kant opent nieuwe zwaktes voor de andere kant om aan te vallen, dus passen ze zich weer aan, en weer – miljoenen, dan miljarden kleine correcties. Na verloop van tijd worden de aanpassingen steeds kleiner, tot de twee uitkomen bij een paar strategieën waarbij geen van beide spelers nog iets kan winnen door verder te veranderen. Dat stoppunt heet een equilibrium, en het is precies wat GTO betekent: een strategie die niet geëxploiteerd kan worden, omdat elke exploit al ergens in die miljarden iteraties is geprobeerd en beantwoord.

Merk op wat er ontbreekt: begrip. De solver heeft nooit begrepen waarom iets ervan werkt. Alle elegante concepten die coaches nu onderwijzen op basis van solveroutput zijn menselijke verklaringen, achteraf reverse-engineered. De machine paste zich alleen maar meedogenloos aan, totdat er niets meer te repareren viel.

Hoe de output eruitziet (en waarom het vreemd aanvoelt)

Stel dat je voor de flop raist vanuit de button – de beste positie aan tafel, die na de flop op elke inzetronde als laatste handelt – en de big blind callt. De flop komt Heer-Zeven-Twee rainbow, wat betekent drie verschillende kleuren, dus is geen flush draw mogelijk. Je hebt Aas-Heer: top pair (je hebt de hoogste kaart op het board gepaird) met de best mogelijke kicker (de bijkaart die gelijkspel tussen matchende paren doorbreekt).

Vraag een solver naar deze spot en hij zal niet zeggen “bet.” Hij zal iets zeggen als: bet een derde van de pot 67% van de tijd, check 33% van de tijd. Voor één hand. In één situatie.

Als dat antwoord je doet knipperen met je ogen, ben je in goed gezelschap: het is het meest verwarrende deel van solveroutput voor nieuwkomers. De korte versie: wanneer twee acties bijna dezelfde EV waard zijn, houdt het verdelen ertussen je algehele strategie gebalanceerd en onvoorspelbaar, zodat oplettende tegenstanders niet kunnen profiteren van je patronen. We schreven een volledige gids over gemengde strategieën die dit uitpakt, inclusief de geruststellende praktische conclusie: wanneer de solver mixt, zijn beide acties prima, en gewoon de meest voorkomende kiezen is nooit een serieuze fout.

Vermenigvuldig dat soort antwoord nu over elke hand in je range, en over elke mogelijke turn- en riverkaart (de vierde en vijfde gemeenschapskaart), en je ziet wat solveroutput echt is. Geen advies. Een gigantische kaart: duizenden frequenties en EV’s die een complete strategie beschrijven, waarbij elk getal correct is en geen ervan zichzelf verklaart.

De kleine lettertjes: solvers lossen een vereenvoudigd spel op

Nu het deel dat aan tafel wordt weggelaten. Een solver lost nooit echte no-limit hold’em op. Hij lost een vereenvoudigde versie ervan op, en die vereenvoudiging doet ertoe.

In een echte hand kun je elk bedrag betten, van het minimum tot je hele stack. In een pot van $200 zijn dat honderden legale bet sizes, op elk beslismoment, voor elke combinatie van toekomstige kaarten. De volledige speelboom – elke mogelijke reeks acties en kaarten – is zo astronomisch groot dat geen computer hem kan bevatten, laat staan oplossen. Dus de solver overweegt alleen het handjevol bet sizes dat jij hem gaf. Sta alleen een een-derde-pot bet toe, en hij produceert de perfecte strategie voor een spel waarin dat de enige bet is die beschikbaar is. Geef hem in plaats daarvan een drie-kwart-pot menu, en hij geeft een zichtbaar andere strategie terug voor dezelfde Heer-Zeven-Twee flop: minder bets, meer checks, andere handen die het betten doen.

De ranges die je invoert doen er net zo veel toe. Voer een preflop-range in die net iets te strak of te los is, en elke frequentie stroomafwaarts verschuift. En vrijwel al het solverwerk is heads-up – exact twee spelers. Jouw donderdagavondpot met vijf spelers erin gaat ver voorbij wat de standaardtools voor je in kaart brengen.

Leg dat allemaal bij elkaar en “de solver zegt” blijkt een afkorting te zijn voor “een solver zegt, gegeven deze exacte spot, deze aangenomen ranges, en dit bet-size-menu.” Twee spelers kunnen dezelfde spot bestuderen met iets verschillende aannames en vertrekken met verschillende antwoorden, en beide vertellen de waarheid. De output is nooit beter dan de input.

Hoe solvers veranderden hoe poker wordt gespeeld

Een beetje geschiedenis verklaart waarom iedereen ineens begon te praten als Dave.

Voor het grootste deel van het bestaan van poker kwam strategie uit boeken en discussies. Sterke spelers schreven principes op, andere sterke spelers waren het oneens, en er was geen scheidsrechter. Toen online poker explodeerde, kwamen trackingdatabases: software die elke hand die je online speelde vastlegde en je liet er miljoenen van bestuderen. Nu kon je zien wat winnende spelers daadwerkelijk deden, wat echte vooruitgang was. Maar “wat winnaars doen” is niet hetzelfde als “wat optimaal is.” De winnaars gokten ook, alleen succesvoller.

Toen, rond 2015, bereikten solvers zoals PioSOLVER het publiek, en voor het eerst hadden strategievragen antwoorden in plaats van meningen. De effecten waren snel en zichtbaar. Pro’s ontdekten dat de solver de flop klein bette – vaak een derde van de pot – waar de standaard van die tijd veel grotere bets was. Check-raisen (checken, en dan raisen nadat je tegenstander bet) bleek dramatisch onderbenut te worden, zelfs door elitespelers. En de solver mixte bijna alles, en verdeelde zijn spel over acties waar mensen altijd op zoek waren geweest naar het ene juiste antwoord. Kijk vandaag naar een high-stakes spel en je kijkt naar strategieën die amper bestonden voordat machines het terrein in kaart brachten.

Waarom je er zelf geen hoeft te draaien

Hier is de eerlijke versie van wat het inhoudt om je eigen solverwerk te doen, want niemand die zegt “de solver zegt” noemt dit ooit.

Eerst koop je de software. PioSOLVER en GTO+ zijn de standaard doe-het-zelf-routes, en eerlijk is eerlijk, beide zijn oprecht krachtig en redelijk geprijsd voor wat ze doen. Dan begint het echte werk. Je construeert realistische ranges voor beide spelers, wat vereist dat je al veel weet over goed poker – een echt kip-en-ei-probleem. Je kiest welke bet sizes je meeneemt, wetende dat het antwoord nooit beter is dan dat menu. Je wacht terwijl je computer draait: minuten voor een ruw antwoord, uren voor een precies antwoord. En als het klaar is, staar je naar die gigantische kaart – een raster van handen en frequenties zonder enige uitleg erbij. “Check 33%” omzetten in een overdraagbare les over waarom is een vaardigheid op zich, en het kost honderden uren om te ontwikkelen.

Professionele spelers nemen dit serieus genoeg dat velen van hen letterlijk andere mensen betalen om het te doen. Er zijn pro’s wier hele baan bestaat uit het draaien en interpreteren van solversimulaties voor andere pro’s. Dat is het niveau van inspanning dat echt solverwerk vergt.

Wees nu eerlijk over je eigen situatie. Je speelt elke week of twee weken een homegame. Je wilt stoppen met de fouten die je buy-ins kosten en beginnen met beslissingen nemen die je daadwerkelijk kunt verdedigen. Moet je zelf industriële strategieberekeningssoftware bedienen? Of heb je de lessen nodig die begraven zitten in de output ervan, eruit gehaald en uitgelegd in gewone taal?

De lessen krijgen zonder de licentie

Het goede nieuws is dat solverkennis niet verloopt. Het equilibrium voor een gegeven situatie is vandaag hetzelfde als vorig jaar, wat betekent dat iemand het één keer, zorgvuldig, kan berekenen, en duizenden spelers ervan kunnen leren. Dus het verstandige pad voor een homegamespeler is een studietool gebouwd op vooraf berekende oplossingen: je oefent realistische beslissingen, vergelijkt je keuze met die van de solver, en besteedt je energie aan begrip in plaats van berekening.

Het ontbrekende stuk was, historisch gezien, de uitleg – het “waarom” dat een muur van frequenties nooit geeft. Dat is waar AI-pokertraining echt dingen heeft veranderd, en het is de aanpak die we namen met Poker Sense: je oefent handen met directe GTO-feedback berekend uit echte solveroutput, en wanneer een aanbeveling je verrast, legt de “Vraag waarom”-coaching de redenering achter de aanbevolen zet uit. De gratis tier omvat twintig oefenhanden en drie AI-coachingsgesprekken per dag, genoeg om erachter te komen of deze manier van leren bij je past.

Hoe je ook studeert, het principe is hetzelfde. Het langzame, dure, technische deel van solverwerk is al gedaan, door mensen met betere hardware en meer geduld dan wij allemaal. Jouw taak is het deel dat toch nooit automatiseerbaar was: het leren.

De conclusie

Een solver is een tegenaanpassingsmachine: twee virtuele spelers die miljarden rondes tegen elkaar sparren tot geen van beide zich nog kan verbeteren, binnen een vereenvoudigd spel dat volledig gedefinieerd wordt door wat een mens erin stopte – het board en de pot, de stacks, de ranges, en het menu van bet sizes. De ontdekkingen ervan hebben moderne pokerstrategie herbedraad, en de kleine lettertjes – het antwoord is nooit beter dan de input – worden routinematig genegeerd door de mensen die hem citeren.

Je hoeft er geen te draaien. Je hebt nodig wat hij vond, vertaald naar lessen die je donderdagavond kunt gebruiken. En de volgende keer dat Dave aankondigt dat de solver zegt dat je daar moet jammen, kun je glimlachen en hem vragen welke ranges hij erin gaf. Kijk wat er gebeurt.