Fermats

Fermat’s Last Theorem — how it’s going

So I’m two months into trying to teach a proof of Fermat’s Last Theorem (FLT) to a computer. Most of…