AI writes first computer-checked proof of Fermat's Last Theorem

Original: Formalizing Fermats Last Theorem

Source: anthropic.com ↗