After a few Twitter posts about Grok's results in PokerBattle.ai, the AI machine said it would beat Phil Galfond heads-up.