You could guarantee online voting with distributed trust and proof of stake. There are several papers on it now that are a good search away.

That doesn't change the AI, though - since it still is physical hardware in some place, even if you could verify the software you can still exploit the hardware.