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