NL,the only popular Texas Holdem variant is far from being solved with 100 big blinds+ (the normal buyin). If that was the case then we would see bots at the higher levels. It might happen one day, but then we will know within days because someone eventually will get too greedy. That said, at micro limits ($10 buy in etc.) there are bots that can make a small profit, and from time to time poker companies ban these and freeze the money. Even Dropbox CEO claims to have made a breakeven bot.