What if programming languages, operating systems, concurrency primitives, databases, networking protocols, UI frameworks are already good enough, and the innovation lies elsewhere?
You can do a lot of cool stuff with the same lego pieces.
But what if the fundaments of all these, in the human produced literature, actually contain hidden circularities and holes which make very hard the progress?
IMO for the moment the greatest value from these AI tools is that we can start an audit and hopefully proceed on a saner foundation, after we use the tools and think about it.
This is different than too many AI generated proofs or panic reactions from the academic system with its stupid incentives.
what if our horse carriages were already good enough
That is like saying what if music is already good enough.