211service.com
Varför poker är en stor sak för artificiell intelligens
Som den store Kenny Rogers en gång sa, en bra spelare måste veta när de ska hålla dem och veta när de ska läggas. På Rivers Casino i Pittsburgh denna vecka kan ett datorprogram som heter Libratus äntligen bevisa att datorer kan göra detta bättre än någon mänsklig kortspelare.
Libratus spelar tusentals spel heads-up, eller två spelare, no-limit Texas hold'em mot flera professionella professionella pokerspelare. Nu lite mer än halvvägs genom 20-dagarstävlingen är Libratus upp med nästan $800 000 mot sina mänskliga motståndare. Så seger, även om det är långt ifrån garanterad, kan mycket väl ligga i korten.
En vinst för Libratus skulle vara en enorm prestation inom artificiell intelligens. Poker kräver resonemang och intelligens som har visat sig vara svårt för maskiner att efterlikna. Det skiljer sig fundamentalt från schack, schack eller Go, eftersom en motståndares hand förblir dold under spel. I spel med ofullkomlig information är det oerhört komplicerat att ta reda på den ideala strategin med tanke på alla möjliga tillvägagångssätt som din motståndare kan ha. Och no-limit Texas hold'em är särskilt utmanande eftersom en motståndare i princip kan satsa vilket belopp som helst.
Poker har varit ett av de svåraste spelen för AI att knäcka, säger Andrew Ng , chefsforskare vid Baidu. Det finns inget enskilt optimalt drag, utan istället måste en AI-spelare slumpmässigt göra sina handlingar för att göra motståndare osäkra när den bluffar.
Libratus skapades av Tuomas Sandholm , professor vid datavetenskapsavdelningen vid CMU, och hans doktorand Noam Brown . Sandholm, en expert på spelteori och AI som emigrerade från Finland för sin doktorsexamen, säger att det är fantastiskt att människor har kunnat spela ut datorer så länge. Det slår mig bara hur bra dessa toppproffs är, säger han. 'Av alla dessa spel som AI har tacklat är [poker] det enda där AI inte har nått övermänsklig prestation.
AI-forskare använder spelteori, eller matematiken för strategiskt beslutsfattande, för att hitta den bästa strategin givet olika osäkerheter, känd som en jämvikt. Eftersom möjligheterna är så stora innebär detta vanligtvis någon form av approximation.
Om en flytt är bra eller inte beror på saker man inte kan observera, säger Vincent Conitzer , en professor vid Duke University som undervisar i AI och spelteori. Detta leder också till ett behov av att vara oförutsägbar. Om du aldrig bluffar är du ingen bra spelare. Om du alltid bluffar är du ingen bra spelare. Spelteori talar om för dig hur du slumpmässigt kan göra ditt spelande på ett sätt som på sätt och vis är optimalt.
Förra året ledde Sandholm utvecklingen av ett tidigare pokerspelsprogram, kallat Claudico, som blev ordentligt slagen i en match mot flera professionella pokerspelare. Han förklarar att Libratus använder flera nya framsteg för att uppnå en så hög spelnivå. Detta inkluderar en ny jämviktsapproximationsteknik, säger Sandholm, såväl som flera nya metoder för att analysera möjliga utfall när kort avslöjas i senare skeden av ett spel. Denna slutspelsanalys är beräkningsmässigt mycket utmanande och utförs under varje spel på Pittsburgh Supercomputing Center, en anläggning som drivs av CMU och University of Pittsburgh.
Framsteg inom maskininlärning och AI har sett ett antal övermänskliga spelprogram dyka upp nyligen. Förra året utvecklade forskare vid DeepMind, ett dotterbolag till Alphabet, ett program som kan slå en av världens bästa Go-spelare. Denna prestation var så spektakulär eftersom Go är extremt komplex och för att det är svårt att mäta framsteg inom spelet (se Googles AI Masters Go ett decennium tidigare än väntat).
Några olika forskargrupper är inriktade på att tackla poker. Ett annat akademiskt team, från University of Alberta i Kanada, och Charles University och Czech Technical University i Tjeckien, utvecklade nyligen ett program, kallat DeepStack , som redan har slagit flera professionella spelare i heads-up no limit Texas hold’em (se Poker är det senaste spelet att vika mot AI). Men, säger Sandholm, spelarna som är inblandade i matchen mot Libratus är mycket starkare, och spelar många fler händer mot maskinen, vilket borde ge större statistisk signifikans till resultatet.
Teknikerna som används för att bygga en smartare pokerbot kan ha många verkliga tillämpningar. Spelteori har redan tillämpats på forskning om störningsattacker och cybersäkerhet, automatiserad vägledning för taxitjänster och robotplanering, säger Sam Ganzfried , som var involverad i utvecklingen av Claudico och är nu biträdande professor vid Florida International University i Miami.
Men även om Libratus segrar den här veckan, betyder det inte att människor inte längre förtjänar en plats vid kortbordet. Flerspelarversionen av no-limit Texas hold'em kan inte bemästras med de tekniker som används av Libratus.