it's also my opinion. Which makes me wonder : isn't there an opportunity to create a variant of rust that would make absolutely zero compromise on UB and safety at the detriment of user experience ( which we don't care about now, with AI generating the code) ?

Like programming in a kind of super strict IL. Or the opposite : super poweful, super abstract language, yet extremely strict.