What TLA+ can and can't check

Let's chill just a little bit on the "TLA+ will save AI from itself" narrative