Fermat S Last Theorem

Technology

• Anthropic's Claude formalizes Fermat's Last Theorem proof in Lean: Anthropic announced that its Claude AI model worked largely autonomously over an 11-day period to formalize the proof of Fermat's Last Theorem. The project resulted in the first complete computer-checked proof of the famous mathematical theorem using the Lean programming language.

  Anthropic • Techmeme

  Permalink