I think a major part of problem is that we haven’t yet formalized what we need to prove—in other words, existing theorems’ conclusions might be disconnected from actual world.
I think a major part of problem is that we haven’t yet formalized what we need to prove—in other words, existing theorems’ conclusions might be disconnected from actual world.