Yes we can determine that but the idea of the halting problem is that there is no general algorithm that can determine if a program will halt or not. So if we're including the human mind as the algorithm, then there exists a program that we cannot determine if it will halt or not. Theoretically.
A product like this makes it very difficult to verify what it is telling you.
As others have pointed out, their own product launch video has several inaccuracies in it.