Security
A “proof” of Fermat’s Last Theorem that fits the margin
Trail of Bits·September 9, 2026·1 min read
Anthropic announced formalizing Fermat's Last Theorem using 13 million lines of Lean code dropped to a version using a bug affecting all stable Lean versions up to 4.33.1. The flaw, found via GPT-5.6 code review, produced a false proof but is not a kernel soundness issue. Lean v4.34.0-rc1 ships the patch.
Read at Trail of BitsDaily crypto arcade
Read the news, then play it.
Chainshorts turns crypto headlines into a daily game. Catch up in 60 words, then jump into daily lucky draws for a shot at the pot.