3 ms·
Huh, I thought I had read somewhere that a machine checked proof of Fermat's Last Theorem had already been created. I must have mixed it up with something else
by comex 11y ago
Huh, I thought I had read somewhere that a machine checked proof of Fermat's Last Theorem had already been created. I must have mixed it up with something else.
- GFK_of_xmaspast 11y agoAre you thinking of Fermat's Little Theorem?