habryka comments on Limitations on Formal Verification for AI Safety

[habryka]

(Mod note: Edited in the image)