← Back to context Comment by ForHackernews 20 hours ago How long until we find out that some AI has quietly buried an exploit in Lean to cheat at proofs? 1 comment ForHackernews Reply dgellow 18 hours ago Simpler to exploit a soundness bug than introduce a back door I would assume
Simpler to exploit a soundness bug than introduce a back door I would assume