Artikkelen nyanserer hypen rundt TLA+ som løsning på KI-relaterte feil, og går gjennom hva formell verifisering faktisk kan og ikke kan avdekke.

Kilde: https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/