Anthropic

Technology

• Anthropic's Claude worked largely autonomously for 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language, marking a significant milestone in AI-assisted mathematical research.

  AI Research • Techmeme

  Permalink