What TLA+ can and can't check
What happened
Let's chill just a little bit on the "TLA+ will save AI from itself" narrative
Summary assembled by rule from the sources below
Why it's spreading
Sources
Community
- What TLA+ can and can't checkLobsters
Let's chill just a little bit on the "TLA+ will save AI from itself" narrative
Summary assembled by rule from the sources below