> All of this is academic because it assumes the AI would design a new smarter AI

I think this is a very reasonable assumption. It would be very difficult to just flat-out write a human-level AI, but it might be a little less difficult to start with a somewhat dumb AI with an ability to improve itself.