On 7/14/23 17:48, David A. Wheeler wrote:
No, we're not expecting anyone to do #33 (Fermat's Last Theorem)
right now, but some of these seem relatively within our grasp.
Maybe not, but we need proofs of Fermat's Last Theorem for n=3 and n=4
and that should be in the "within our grasp" category. More notes at
https://github.com/metamath/set.mm/wiki/Fermat's-Last-Theorem including
a few other tasks which are smaller than the whole thing.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/a100b256-1c10-6565-aae2-f2d8fcfe6d78%40panix.com.
