> what language would be best for our AIs to be programming in

I think "batteries included" is not a good thing to have in the future.

We'll want to be very explicit about what AI generated code can and can not do.

And so some form of effects based scripting language seems like a plausible choice: A language where by default "all batteries are removed".