17 ms·
I am really interested in whether AI will find a significantly easier (1920 level or so) proof of FLT.
by bananaflag 12d ago
I am really interested in whether AI will find a significantly easier (1920 level or so) proof of FLT.
- HappyPanacea 12d agoIt 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.
- bananaflag 11d agoYeah 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).
- arjie 11d agoI read an interesting take that it won’t. Because it won’t be interesting any more. It’s like how no one talks about AI IMO Gold anymore or Stockfish being better than all humans. This kind of mathematics goes back to being a curiosity of humans and machines move to the next frontier. In a sense, the proof is a demonstrator not an end in itself. To mathematics enthusiasts it is significant. To the AI it is Tuesday. Enjoyed that idea. Not sure how true but it was enjoyable.