alt Hacker News"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.
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.