"AI models will surely get better at writing "enjoyable proofs,"" why? Why is that surely true? they've increased in all other capacities at shocking rates while still writing awful, slippery, turgid prose. Very silly to assume that this will just go away.
The tech industry is chock full of straight up magical thinking, and nobody shows it more than AI boosters.
[dead]
Every single day now, for close to 4 years, ever since ChatGPT 3.5 was released - there's been people dismissing AI progress. Every step of the way.
It is entirely possible that one day progress just stops or slows down, but with current evidence, I don't find that too likely - at least not in the near future. The sheer amount of resources being put into this (AI) race is mind-boggling.
So while past performance does not guarantee future results, I'm just going to kick back, and assume that many of the current issues will be fixed with future models.
I think it’s silly to ignore the sheer rate of progress that’s occurred in the last 5 years. Compare gpt 2 output to latest foundation models and then re-read your comment. You’ll realise just how out of touch you sound.