Aprillion comments on Limitations on Formal Verification for AI Safety

[Aprillion]

If anyone here might enjoy a dystopian fiction about a world where the formal proofs will work pretty well, I wrote Unnatural abstractions