Post #1688975
2026-04-25 22:21 UTC
@mark I don't think LLM output is verifiable, at least in the formal sense.
Replies (1)
-
@mark@mastodon.fixermark.com 2026-04-25 23:42
@camertron Oh, I see what you mean. Yeah, individual outputs can be verified, not the whole system formally.