Comment by olmo23

Anthropic formalized FLT in 11 days: https://www.anthropic.com/research/formalizing-fermats-last-...