Brievox

Security

A “proof” of Fermat’s Last Theorem that fits the margin

Anthropic announces a formalization of Fermat’s Last Theorem using 13 million lines of Lean code. The account presents a purported Lean bug as a counterexample to that achievement.

1 source Published Updated

Image: Trail of Bits

Coverage 1 publisher

  1. Trail of Bits

    A “proof” of Fermat’s Last Theorem that fits the margin

Articles stay on their publishers’ sites; each link opens the original.