16 points | by tcp_handshaker a day ago ago
1 comments
Tldw Proof generation is easier now, verification and understanding isn't. Relying on experts is reduced by requiring formal proofs, but may not scale.
Tldw Proof generation is easier now, verification and understanding isn't. Relying on experts is reduced by requiring formal proofs, but may not scale.