Before the theorem prover: verification is older than the alphabet
the checksum, the audit, the acceptance test and the signed certificate are all older than the twentieth century — seven museum objects, and what the twentieth century actually added
Aman Goel — Writing
Notes on LLM internals, fine-tuning, evaluation, and formal verification.