If there's a machine that automatically turns electricity into proofs then mathematics becomes a different thing altogether.