4 ms·
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
by rndnumthy 2y ago
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.
- Pet_Ant 2y agoSOTA?
- lightspot21 2y agoSOTA = state of the art