Firstly, although it is proven that there is an optimal (game theoretic) strategy to play (Nash), we are not close to 'solving' it. There are attempts to solve limit hold'em, and the current systems beat human players, but they are not close to fully solving the game tree. Attempts to solve big-bet games (NL, PLO) are not even "solved" at a rudimentary level.
Modelling human players is the much easier part. There are winning cash game bots in both FL and NL up to midstakes games, and they are a serious issue. Many use default exploitative strategy that perform well against common opponents.