Sounds like they've developed a very good bot, but I don't believe it's possible to ever completely "solve" an imperfect information game.
Your statement is technically correct because of the use of the word "completely", but wrong in a practical sense. The algorithm used to solve these games is iterative, so the solution only ever approaches a complete solution, but this is only meaningful if you want to argue that a 0.0000001BB difference in win-rate per hand is really meaningful.