ParentFull threadolmo23·Anthropic formalized FLT in 11 days: https://www.anthropic.com/research/formalizing-fermats-last-...View on HN