Comment on The Fermat's Last Theorem ProjectComments−rndnumthy2yWhat I really like is that this project will not blindly formalize the proof from the 90's. Instead they take a SOTA approach, streamlining and optimizing many parts of the proof. So it will result in a useful artifact for modern number theorists.−Pet_Ant2ySOTA?−lightspot212ySOTA = state of the art
Comments
What I really like is that this project will not blindly formalize the proof from the 90's. Instead they take a SOTA approach, streamlining and optimizing many parts of the proof. So it will result in a useful artifact for modern number theorists.
SOTA?
SOTA = state of the art