Re:Formalizing Fermat's Last Theorem
by HappyPanacea on Friday September 04, 2026 @06:19PM
(#49570901)
It seems unlikely to find 1920 level or so proof although it might be the case that a significantly easier/shorter proof exits via Vandiver conjecture + extra work or Effective Mordell conjecture but it also wouldn't surprise me if that would be even more complicated than the current proof of FLT.
[ Parent
| on HN ]
Re:Formalizing Fermat's Last Theorem
by bananaflag on Saturday September 05, 2026 @03:32AM
(#49574063)
Yeah Vandiver was on my mind, this is why I said 1920. Wouldnt mind it more complicated, but with simpler concepts and most importantly concepts that feel like they have something to do with FLT (cyclotomic fields, not modular forms).