News for hackers. Stuff that matters.
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.
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).