[swatcoder]

Proofs can ensure soundness for a collection of logical statements in an output, but people are being sold epistemic "truth".

This article is trying to elaborate what that means for LLM's, which only know truth through frequency ("crowdsourced truth") at best. For esoteric, sparse, ambiguous, uncertain, controversial, etc subjects, that's not an adequate truth standard to start from and logical proofs do nothing to improve on it.