Remix.run Logo
jibal 5 days ago

https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...

"It will not be the original Wiles/Taylor-Wiles proof, but rather a "newer" proof which takes into account more recent developments due to Khare-Wintenberger, Kisin and many other people."