It will be the same as before: some effort will go into checking proofs and the other into creating them. AI speeds up both.