alt Hacker NewsI think the point was that it's not a machine.
Stuff that we can deduce in math with common sense, geometric intuition, etc. can be incredibly difficult to formalize so that a machine can do it.
I think the point was that it's not a machine.
Stuff that we can deduce in math with common sense, geometric intuition, etc. can be incredibly difficult to formalize so that a machine can do it.
What do you mean with "do it" in
"...etc. can be incredibly difficult to formalize so that a machine can do it." ?
1. do it = search for a proof
2. do it = verify a purported proof?