Comment by ForHackernews 15 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 14 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