The Fermat's Last Theorem Project
leanprover-community.github.io
The Fermat's Last Theorem Project
1–10 of 42 posts
Re: The Fermat's Last Theorem Project
#2Re: The Fermat's Last Theorem Project
#3https://www.techrxiv.org/users/717330/articles/702287-on-fer...
Why post this? This appears to be the writings of a crank.
Re: The Fermat's Last Theorem Project
#4What 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.
Re: The Fermat's Last Theorem Project
#5PDF slides from the talk where the project was launched: https://math.mit.edu/~drew/vantage/BuzzardSlides.pdf
Re: The Fermat's Last Theorem Project
#6Re: The Fermat's Last Theorem Project
#7I wonder if after all that work, we might automatically reduce the proof and discover a simpler one that could have been included in the “margin”.
Re: The Fermat's Last Theorem Project
#8I wonder if after all that work, we might automatically reduce the proof and discover a simpler one that could have been included in the “margin”.
I was just about to post my proof, but it didnt fit on Twitter :)
Re: The Fermat's Last Theorem Project
#9What 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?