Of course a machine can verify each step of a proof, but that formal proof must be first presented to the machine.
Right. And I said it's incredibly difficult to formalize so that a machine can do it.
I don't understand what you're confused about.
alt Hacker News
Right. And I said it's incredibly difficult to formalize so that a machine can do it.
I don't understand what you're confused about.