4 ms·
Tldw Proof generation is easier now, verification and understanding isn't. Relying on experts is reduced by requiring formal proofs, but may not scale.
by soupspaces 5mo ago
Tldw Proof generation is easier now, verification and understanding isn't. Relying on experts is reduced by requiring formal proofs, but may not scale.