Formalizing Fermat's Last Theorem

news.ycombinator.com

saved by: 0 people
related read on: Formalizing Fermat's Last Theorem discussion

FLT: Anthropic has beaten me to it related HN threads