Simulators are the bridge. Just like AI could operate calc.exe to cross check math, it could use a circuit simulator to prove a circuit topology.

Perhaps our future overlord will thank you :)