6 ms·
How long until we find out that some AI has quietly buried an exploit in Lean to cheat at proofs?
by ForHackernews 6d ago
How long until we find out that some AI has quietly buried an exploit in Lean to cheat at proofs?
- dgellow 6d agoSimpler to exploit a soundness bug than introduce a back door I would assume