11:00
2026-09-09
blog.trailofbits.com
ai-safety
A “proof” of Fermat’s Last Theorem that fits the margin
Anthropic reported a bug in Lean, a theorem prover, that allowed a fake proof of Fermat's Last Theorem to be accepted, exploiting a mismatch between Lean's logical definition and compiled native code …