It's also impossible to prove that a given coin is not being controlled by an AI. (Or a deity.)

Yes, which is why you can only trust abstract coins that exist in a formal system which assumes independent tosses :)

If you require true randomness without any assumptions this is not the universe for you.