It's a machine learning based system, so it's probabilistic. You can certainly write programs that can detect when some other programs halt, just not universal

It's a machine learning based system, so it's probabilistic. You can certainly write programs that can detect when some other programs halt, just not universal ones. For example, it would be relatively trivial to look for a "while true:" loop that has no end conditions.