Deduce. So your #2.
Of course a machine can verify each step of a proof, but that formal proof must be first presented to the machine.
alt Hacker News
Of course a machine can verify each step of a proof, but that formal proof must be first presented to the machine.